 Let h = 0.8 + c. Which is smaller: h or b?
b
Let k = -19.934 + 0.134. Let u = -33 - -13. Let m = k - u. Which is smaller: -0.4 or m?
-0.4
Let q = 54 - 51. Let i be q/3 + 2 + -1 + 0. Which is bigger: i or 5/3?
i
Let k = -2913 + 1616. Let z = 10391/8 + k. Which is smaller: z or 3?
z
Let j = 49883/43 - 1160. Which is smaller: 1 or j?
j
Let s = -0.29 + -0.11. Let q = -21 - -23.8. Let l = q + -3. Which is greater: l or s?
l
Let d = 33 - 97/3. Let h(w) = 2 - 4*w + 3*w + 0. Let a be h(1). Which is smaller: a or d?
d
Let b be 32/(-144) + 4/18. Does 1/88 = b?
False
Let v = 72 - 41. Let h = 44 - v. Let i = 10 - h. Which is smaller: i or -4?
-4
Let j(s) = -s**3 - 44*s**2 + 51*s + 269. Let i be j(-45). Is i greater than 1/35?
False
Let z(i) be the second derivative of i**3/6 - 3*i**2/2 + 4*i. Let a be z(6). Suppose 0 = -a*b - 2*b + 45. Do b and 8 have different values?
True
Suppose -8 = 5*f - w, -46*w = 5*f - 42*w + 18. Let i = -4 - -3. Is f < i?
True
Let q = 13 + -13.6. Let n = -0.4 - q. Let t = -0.18 + n. Is t at least as big as 0.2?
False
Let h = -2/1825 + 5581/96725. Which is smaller: h or 1?
h
Let b = 675 - 838. Which is bigger: -164 or b?
b
Let d = 881/2 - 458. Let s = d - -17. Is -4/7 at least s?
False
Let v(j) = -47*j - 429. Let l be v(-38). Which is greater: l or 1358?
1358
Suppose -f = 5, -30 = 2*n - 3*f + f. Suppose 0 = -11*k + 103 + 128. Let b = k + n. Which is smaller: b or 2/53?
2/53
Suppose 2*r + 26*d + 94 = 29*d, -2*d + 4 = 0. Are -43 and r nonequal?
True
Suppose -5*u - 146 = -4*r, 3*r + u = -0*r + 119. Which is smaller: 44 or r?
r
Let r = 2822 + -2828. Is r not equal to 93?
True
Let r(x) = -x**2 + 3*x + 88. Let y be r(11). Is -325 at most y?
True
Let l = 1493 + -1508. Let k = -9 + 37. Suppose 2*f + k = -0*f. Which is smaller: l or f?
l
Suppose -5*h + 1 + 9 = 0. Let k be ((-1596)/(-494))/(1 - 0). Which is smaller: h or k?
h
Suppose -5*g + 10 + 10 = 0, -2*r + 3*g + 100 = 0. Which is greater: 54 or r?
r
Let g be (-75)/(-114) - 4/8. Let s be -1 - ((-58)/(-114) - 2). Let x = g - s. Which is smaller: x or -0.07?
x
Let g = -1/300 + 491/237300. Is 1 > g?
True
Suppose 17*o = 9958 + 5767. Is 926 smaller than o?
False
Let y be 0 + 41*(-8 + 7). Is 1 greater than y?
True
Let j = -2072 + 3917/2. Which is greater: j or -114?
j
Let a = -5.6 + 18.3. Let d = 13 - a. Which is bigger: 1/2 or d?
1/2
Let d = 1312 - 1546. Which is smaller: d or -238?
-238
Suppose 7*s + 5 = -16. Let b(g) = 8*g. Let n be b(s). Is n greater than or equal to -23?
False
Let y = -89947398/901 + 1731870/17. Let r = 2044 - y. Let h = -280/901 - r. Does h = -1?
False
Let w = -578 + 86699/150. Which is smaller: 1 or w?
w
Let p be 46/(-184)*(-20)/38. Which is smaller: p or 0?
0
Let i = -0.2 + -1.8. Let o = i + 2.1. Let k be 1*(-20)/110 - (-312)/(-99). Is o equal to k?
False
Let r be (-3)/(-3)*(5 + -5). Let t = 9 + -6. Is r at most as big as t?
True
Let z = 2/69 - 73/138. Let a(p) = -4*p**3 + 2*p**2 - 1. Let i be a(-1). Suppose i = 3*t + 2*t - 3*f, 4*t - 12 = 4*f. Is t less than z?
True
Let h be 1/(-12)*(-27)/(-18). Let a = -3/8 + h. Do a and 27 have different values?
True
Let u = 97 - 94. Suppose 7*m - 2*m = -u*j - 19, 5*j + 13 = m. Let g be 2/(-6) + (-2)/3. Which is smaller: j or g?
j
Suppose 0 = -4*h + 4*l + 8, 0 = 2*h + l - 0*l + 5. Which is greater: h or 4/11?
4/11
Let c(k) = k**3 + 9*k**2 - 8*k + 1. Let l be c(-10). Suppose 3*r + 63 = -0*r. Which is bigger: l or r?
l
Suppose -6*b + 25 = -b. Suppose -b - 1 = -2*n. Is n <= 6?
True
Suppose -4*v = -41 - 19. Let g be ((-69)/v)/(-1) + 9/3. Which is smaller: g or 7?
7
Let i be (5/(-10))/(34/(-12)). Let r be -2 - -7 - (3 + -2). Let l = -5 + r. Which is smaller: i or l?
l
Let a = -0.66 + -120.34. Let y = 122 + a. Is y greater than -0.099?
True
Let a(f) = f**2 + 18*f - 23. Let m be a(-19). Let z = 0.88 - 0.08. Let x = 0.2 + z. Which is greater: m or x?
x
Let w be (-1 - 3)*6/8. Suppose f = -3*a + 26, 0*a - a - 10 = 5*f. Suppose -4*y = 5*x - a, -4*x + 2*x + 16 = 4*y. Is w != x?
True
Suppose -6188 = 101*r - 5885. Let g = 11 + -17. Is r smaller than g?
False
Suppose -22*g = 1763 - 245. Let q = -47149/5 - -9499. Let c = q + g. Is c > -1?
True
Let l(w) = w**2 - 5*w - 6. Let k be l(4). Let i be -4*(-2)/8*-2. Which is smaller: i or k?
k
Let f(t) = -64*t - 575. Let g be f(-9). Is g at least 731?
False
Suppose 5*v - 3*p = 8*v + 3, 0 = -v - 2*p. Which is bigger: v or -34?
v
Let g = -202 - -233. Is g at least as big as 31?
True
Let j = 778869/125 + -6231. Which is smaller: 1 or j?
j
Let p be 2/(-8)*(2 - 26)/6. Is p at most 18?
True
Let b = 95 - 94. Let n = -0.02 - 1.98. Which is smaller: b or n?
n
Let o be (-5)/(-4) + (-2245)/20. Let t = o - -111. Is -6/7 at most t?
True
Suppose -15 = -22*u + 7*u. Let n be ((-20)/(-6))/u*(-120)/50. Which is greater: n or -9?
n
Let y = -256 + 718. Let c = 4147/9 - y. Which is smaller: -1 or c?
c
Let k = -14523 - -14521. Let g = -5 - -9. Is k >= g?
False
Let k(h) = -h**2 - 9*h - 15. Let n be k(-6). Let x be (n/2)/(4/16). Is 60/13 at least as big as x?
False
Let q = 0.1 - 0.2. Let w = 0 + q. Let p = 200.6 + -201. Which is greater: p or w?
w
Let u(z) = -5*z - 2. Let j be u(3). Let i(o) = -o**2 - 5*o - 5. Let b be i(-4). Which is greater: b or j?
b
Suppose -4*r - 57 = -9. Let d = r - -15. Is d at most as big as 5?
True
Let r be -1 + 0 - 11/((-165)/522). Let y = r - 34. Are y and 0 nonequal?
True
Suppose -4*d = -5*d + 5*y - 3, -d - 3*y + 13 = 0. Suppose 0 = d*r - 12*r - 15. Which is bigger: -11 or r?
r
Suppose 3*q = x + 404, 0*q - 3*q + 410 = 5*x. Let v be 111/q - (-21)/(-35). Which is smaller: v or 1?
v
Let x = 0.4 - -0.6. Let l be 1/((-3)/(-72)*4). Let z be (28/l)/(18/27). Does x = z?
False
Let g(v) = v**3 - 7*v**2 - 9*v. Let a be g(8). Suppose 0 = -8*y + 3*y. Let x = -9 + y. Is x < a?
True
Suppose -3 = -795*t + 792*t. Let b be 5/26*332*5. Let q = b + -319. Which is smaller: q or t?
q
Suppose -2*a + 82 = -2*l, -3*a = -5*l - 4*a - 181. Is l <= -38?
False
Let v(y) = y**2 - 44*y + 138. Let g be v(32). Which is smaller: -247 or g?
-247
Let v be 1/3*(5 + -5). Which is greater: v or 3/71?
3/71
Let u = 1 + -538. Which is smaller: -536 or u?
u
Let v = -416 + 419. Is 11 bigger than v?
True
Suppose 2*f = 3*f - y - 121, -3*f = -4*y - 363. Let m = -177 + f. Which is smaller: m or -55?
m
Suppose -4*v - 62 = 5*m, 4*v - 9*v - 2*m - 69 = 0. Let b = 4 - 7. Let n be 1/(((-3)/b)/(-13)). Is v <= n?
True
Suppose -2*d + 0*n - 2 = 3*n, 0 = n + 4. Suppose -d = 5*o - 0*o. Let k(h) = -3*h + 2. Let t be k(1). Is t not equal to o?
False
Let x(t) = 7*t**3 - 2*t**2 - 2*t + 4. Let c(o) = -6*o**3 + o**2 + 2*o - 3. Let u(m) = -3*c(m) - 2*x(m). Let r be u(1). Which is bigger: r or 5?
5
Let q be 3/(-2)*((-615)/(-45) + -13). Is 2/803 bigger than q?
True
Let i = 71.9 - 64. Let s = i - 2.8. Let q = -5 + s. Which is smaller: q or -1?
-1
Let l(i) = -i**2 - 3*i + 1. Let p be l(-3). Let u = -146.834 + -0.166. Let g = 146.2 + u. Do p and g have different values?
True
Suppose 7*f = 2*f. Let g be ((-25)/9 + 3)*6/778. Let s = 4682/8169 - g. Which is greater: s or f?
s
Let l = 1.37 + -0.01. Let z = l - -0.64. Which is smaller: -16 or z?
-16
Suppose -124 = 6*p - 2*p. Suppose -3*i = 5 + 10, -r + 3*i - 17 = 0. Is p != r?
True
Let k = 685 - 599. Which is greater: k or 84?
k
Let p be (-2)/6*(-4)/26. Suppose 11*t = 14*t + 24. Let c = -9 - t. Which is smaller: p or c?
c
Suppose -5*i = -6*g + g + 5, -i = -3*g - 1. Which is greater: g or 1/250?
1/250
Let h = 0.571 + -0.511. Do 3/10 and h have the same value?
False
Let b be 0/(-3) + (2 - -2). Suppose 0 = b*w - 10*w - 36. Let u(y) = 4*y + 2. Let r be u(-2). Is w at least as big as r?
True
Suppose 4*x = -2*w + 148, -x - x = -2*w - 62. Let q be (-30)/x*(-56)/12. Suppose 0*v + 76 = -q*v. Which is greater: v or -20?
v
Let r(o) = -o**3 - 6*o**2 - 4*o + 3. Let k be 0/((0 - 0) + -2). Suppose -2*y - 6 - 2 = k. Let w be r(y). Are -12 and w equal?
False
Suppose 2*x = -2*k + 158, 6 = -3*x + x. Do 82 and k have the same value?
True
Let n = -15 - -7. Let b = 15 + n. Let p = 3907 - 3900. Is p at most b?
True
Let s be 9/(-6)*19992/(-63). Is s less than or equal to 475?
False
Let t be -1 + -1*(-4 - -3). Suppose t = i - 2*v - 5, 5*i + 5 = -6*v + v. Which is smaller: -3 or i?
-3
Let u = 394 + -9088/23. Is -2 < u?
True
Let i = -43 - -1159/27. Le