h is smaller: s or -1?
-1
Let b = -223 + 192. Which is smaller: -27 or b?
b
Suppose 5*f + 2*q + 24 = 0, 0*f - 3*f + 3*q = 27. Let o = f + 6. Let a be (0 - o) + (-108)/(-117). Which is smaller: 0 or a?
0
Let j = -283 + 223. Is 6 at least as big as j?
True
Suppose g = -4*u + 15, 4*u + 2*g - 18 = 4*g. Suppose 0*b = -i + 3*b - 18, -3*i - u*b = 28. Let a be (-1*2)/(i/(-90)). Is a not equal to -16?
True
Suppose -2*h - h = 0. Let g = h - 2. Let k = -42.9 + 42.8. Which is smaller: k or g?
g
Let g = -359 + 1797/5. Let q(u) = -u + 10. Let h be q(7). Suppose b + h*b = -4. Do g and b have the same value?
False
Let p be ((-478)/216 + 1)/((-15)/(-45)). Let a = 17/9 + p. Let w = 2 - 3. Which is smaller: w or a?
a
Let r = 162 - 162.67. Let i = 0.37 + r. Which is smaller: i or -1?
-1
Let g = 1.3 - 1.2. Let c = 588463/4068 - 1304/9. Let z = -2/113 + c. Which is greater: z or g?
g
Let l be (-63)/(-2 + 5) - -3. Let n be (-8)/4 + -1 + -31. Let c = n + 17. Which is bigger: l or c?
c
Let s be 30/(-195) - (-212)/26. Suppose 0 = 3*v + v - s. Suppose -v*m - 3*m = k + 26, -m + 5*k = 0. Is -2 at least m?
True
Let y = 94.9 + -95. Let i = -5711981/39 + 146545. Let s = 84 - i. Which is bigger: y or s?
s
Let o be 0/13*(-2)/6. Let i be (o - 2) + 5/(-33)*-18. Let l be 1/2*(-1 - -5). Which is smaller: i or l?
i
Let z = -72 + 71. Which is smaller: -91/5 or z?
-91/5
Suppose -16*x = -12*x - 112. Suppose 5*y - 2*n = 154, 0*y + n - x = -y. Let m be y/24*(-8)/20. Is -1.6 equal to m?
False
Let m = -3.945 - 0.755. Which is bigger: 0.2 or m?
0.2
Let f = -0.215 + 4.275. Let v = -0.06 + f. Which is smaller: v or 0.1?
0.1
Suppose -4*v = -p + 17, 9 = -2*v + 1. Let x be (-26 - (-2 - 1)) + 1. Let f be (x/(-10) + -1)/4. Is p < f?
False
Let z = 1533 + -162501/106. Let v be -5 + 3 - 10892/(-4664). Let y = v - z. Does 0 = y?
False
Suppose -k = t + 2*t + 13, -2*t - 10 = 2*k. Let c be (-15)/(-10) - (-18)/(-14). Which is bigger: k or c?
c
Let w = 4 - 2. Let d be ((-20)/8 - -3) + 61. Let q = d - 60. Are w and q unequal?
True
Let c be -9 - ((-511105)/(-3339))/(-17). Which is greater: c or -1?
c
Let c = -31 - -52. Suppose 214*t + 95 = 219*t. Suppose t = -5*v - c. Is v equal to -8?
True
Let d be (-4)/(-3) + (-5)/15 + 0. Let l be 2 + (d - (-41)/(-13)). Is 0 at least l?
True
Let h = 196 - 197. Are 2/77 and h nonequal?
True
Let k = 47 - 25. Which is bigger: k or 1?
k
Let p = 1738 - 19122/11. Is p < -0.22?
True
Let d = -0.14 + 27.14. Let o = -34 + d. Which is bigger: o or -0.3?
-0.3
Let j = 130 - 74. Let k be 2/7 + 376/j. Let f be k/(-4) + 2 - 1. Is -2 >= f?
False
Let i = -361 + 400.4. Let x = -1.4 + i. Which is smaller: 1 or x?
1
Let m = -2695 + 2326. Which is smaller: -368 or m?
m
Let w(p) = p**3 - 46*p**2 - 2. Let j be w(46). Which is bigger: -15 or j?
j
Let v = -3 + 0. Let w(a) = a**2 + 5*a - 3. Let m be w(-8). Let q be ((-4)/(-3))/((-14)/m). Which is smaller: v or q?
v
Let l = 255 - 255. Which is greater: l or 8/7?
8/7
Let g(s) = -s**3 + 23*s**2 + 4*s + 49. Let z be g(22). Which is smaller: -0.1 or z?
-0.1
Suppose -x + 4*x = -24. Let t be (-44)/x - 1/(-2). Let s be t/(-5)*(-15)/(-21). Are -1 and s unequal?
True
Let u(v) = 30*v + 3. Let w be u(2). Let f = -50 + w. Is f <= 15?
True
Suppose -2*b = 2*r - 3*r - 7, r = -3*b - 7. Let n(w) = w**2 + 7*w - 16. Let x be n(r). Is x < 0?
True
Let c(g) = g**3 - 6*g**2 - 14*g - 11. Let d be c(8). Suppose 3*h - d*h + 54 = 0. Which is smaller: h or 28?
h
Let q be (((-8)/6)/((-36)/(-54)))/(-1). Let t be (-1 - 2 - -2) + -2. Which is bigger: t or q?
q
Suppose -j + 18 = -5*h, -3*h + 0*h = 12. Let d be 445/(-65) - -2 - 2/13. Is d < j?
True
Suppose 0 = -0*k + 3*k + 3*d - 15, -5*d = -5*k - 25. Suppose 4*y - 29 - 47 = k. Suppose -3*j + 5 = -y. Are 8 and j non-equal?
False
Let i = 22.9 + 6.1. Let x = 28 - i. Is x equal to -2?
False
Let h = -18 + 20. Suppose 10 = -4*r + h*r. Let m be r/(30/(-9))*10. Is m > 15?
False
Let f be 8/3*((-105)/(-10))/(-7). Let u be 0 - (-51)/(-12) - f. Is u at least -0.9?
True
Let a = -2/215 + 649/430. Let h(j) = 5*j**2 - 15*j + 18. Let y(l) = 6*l**2 - 14*l + 17. Let x(u) = 7*h(u) - 6*y(u). Let d be x(-22). Which is bigger: a or d?
d
Let t = -286 + 409. Is t greater than 121?
True
Let g = 76 + -34. Let o = -42 + g. Are -0.2 and o nonequal?
True
Let t be 33/5 - 6/(-15). Suppose -3*j + 3 = -s, -t + 1 = 3*j - 4*s. Suppose -j*o + b = -54, 3*o + 2*b - 6*b = 86. Is o at least as big as 25?
True
Suppose 4*h - 3*j + 6 = 0, 0*h - 2*j + 4 = 3*h. Suppose 3*o + 0*o - 6 = h. Suppose -1 = -o*k + 3*k. Are k and -3/7 nonequal?
True
Suppose 0 = 4*h - h - 4*x - 153, x = 0. Let o = 38 - h. Let c be 1 + (-3 - 0) + -11. Is o at least c?
True
Let f = 60729/266 - 1602/7. Which is greater: 0 or f?
0
Let y = 22 + -54. Let x be (32/(-2))/(-4) - y. Let w = x + -28. Do w and 6 have different values?
True
Let v be 50/15*4/(-30). Let f(w) = -3*w**2 - 9*w + 7. Let m(a) = -4*a**2 - 10*a + 7. Let b(o) = -3*f(o) + 2*m(o). Let h be b(-8). Which is smaller: h or v?
v
Suppose 5*h = h + 24. Let v(q) = 2*q + 5*q + q**2 - h*q. Let z be v(0). Is -2/3 <= z?
True
Suppose -2*c + 39 = -c. Let g be 48/143 - 6/c. Suppose -4*p - 12 = 0, -5*o + 4*p + 11 + 6 = 0. Is o > g?
True
Let a(x) = x**2 + 9*x - 25. Let j be a(-11). Which is smaller: -8 or j?
-8
Let t(f) = -15*f - 54. Let v be t(-6). Suppose 25*y - 629 = 8*y. Which is smaller: y or v?
v
Let o = -658 - -655. Which is bigger: 8 or o?
8
Suppose 5*r + 17 - 47 = 0. Let s(t) = -8*t + 8. Let g be s(r). Are -39 and g nonequal?
True
Suppose -3*r + 6*r - 18 = 0. Let i(b) = b**2 - 26*b + 24. Let l be i(25). Let x be l*(2/7 + 8/(-28)). Is r greater than or equal to x?
True
Let y = -203/95 - -27693/1045. Which is smaller: y or 24?
24
Let u = 120.9 + -121. Let a = -76 + 27. Which is bigger: a or u?
u
Suppose 5*g = -15, -2*v + g = -0*v - 5. Let y be ((-2)/(-4))/(v/(-18)). Let b(l) = -l**2 - 10*l + 6. Let d be b(y). Do d and 15 have the same value?
True
Suppose s + 3*p = 8, -2*s = -s + 4*p - 13. Let z(g) = g**2 + 7*g + 2. Let r be z(s). Let x be r/44*-87 - -4. Is 0 at most x?
True
Suppose 0 = -2*s + 5*s - 12. Suppose 0 = -b - s + 6. Suppose 3*v + 5 = 7*x - b*x, 0 = 3*x + 5*v + 31. Is -3/2 <= x?
False
Let m = -31229/13 - -2401. Are 0 and m nonequal?
True
Let a = -325 + 324.93. Which is bigger: a or 2/7?
2/7
Suppose 8*t - 11*t = 3*z - 198, 3*z - 134 = -2*t. Is t equal to 257/4?
False
Suppose -18 = 4*g + 22. Let a = 23 + -24.1. Let r = a + 1.2. Which is smaller: g or r?
g
Let c(a) be the first derivative of -a**2 - 3*a + 7. Let h be c(-7). Suppose h - 6 = -5*v. Which is greater: -5 or v?
v
Suppose 5*k + 10 = -2*z, -5*z + 4 = -2*k - 4*z. Is k at most as big as -40/27?
True
Let q = 0.3 + -0.2. Let w be (-6)/(-1)*10/30. Let i(n) = n**2 - 6*n + 3. Let h be i(w). Which is smaller: h or q?
h
Let y = 4879/10 - 488. Which is bigger: 23 or y?
23
Suppose -f + 1 = 3. Let s be 0 - (f + 0) - 6. Let h be (-5)/s*16/(-12). Is h bigger than -1?
False
Let s = 22537/30 + -4325/6. Is 31 >= s?
True
Let z = -869 + 992. Which is greater: z or 124?
124
Let d = -0.18 + 0.21. Which is greater: d or -62?
d
Let i = 46 - 30. Suppose 5*f - 7*f = -i. Which is greater: f or 10?
10
Let w(i) = 2*i**2 - 5*i + 1. Let x = -15 + 17. Let c be w(x). Which is smaller: 2/53 or c?
c
Let c be (-1 - -1) + (0 - -1). Suppose 21*s = 20*s + 18. Let o = -17 + s. Is o less than c?
False
Suppose 269*w + 92 = 267*w. Which is smaller: w or -41?
w
Suppose 4*v - b - 24 = 0, 4*v - 4*b - 32 = -b. Let u be 2/4 - ((-4)/v)/(-1). Let g = 1129/7 - 161. Which is greater: u or g?
g
Suppose 181*k + 32 = 177*k. Which is greater: k or 30?
30
Suppose -11*q + 80 = -6*q + 5*o, -4*q - 2*o = -70. Does 22 = q?
False
Let v = -346 + 658. Suppose -5*u + v = u. Do 52 and u have different values?
False
Let u be 3*4/(36/15). Suppose 3*b + 0*l - 13 = l, -3*b - 7 = 4*l. Suppose -4*r - 8 = -3*h, -2*r - 1 = -b*r. Which is bigger: h or u?
u
Let h = 2771.004 + -2802. Let p = 0.004 + 0. Let g = h - p. Is 1/2 <= g?
False
Let m(t) = 21 + 2 - 7 - 5*t. Let j be m(4). Which is smaller: -3 or j?
j
Let o be -6 + (2/(-1) - -1). Let a(y) = -6*y - 15. Let t(n) = -11*n - 29. Let z(c) = 7*a(c) - 4*t(c). Let w be z(-9). Is o at least as big as w?
True
Let w be ((-12)/(120/(-575)))/(1/2). Are w and 115 non-equal?
False
Let b = 260 + -320. Is 0.6 at most b?
F