 a bigger than -461?
False
Let n = 1362 + -17723/13. Let f = 229/26 + n. Let j = f + -41/6. Is j < 1?
True
Let c = 87 - 150. Let v = c - -90. Let b = 16 - v. Which is smaller: b or -1?
b
Let o(n) = -n**2 + 7*n + 616. Let y be o(28). Which is smaller: y or 19?
19
Let k be (3/(-2))/(27/(-36)). Suppose -10*h + 8*h + 12 = 0. Suppose -3*q - 8 = -k*x, -q = -4*q - h. Which is bigger: 3/5 or x?
x
Let n = -1357/12 - -291/4. Let v = -40 - n. Which is smaller: v or -1/11?
-1/11
Let l be (40/(-165))/2 + 1. Let z = 6/11 - l. Let i = 251/36 - 27/4. Is z at least i?
False
Let u = -23.6 - -26. Let h = u - 1.4. Which is smaller: h or 42?
h
Let i(n) = n**3 - 5*n**2 - 6*n - 12. Let m be i(6). Let h be (m/(-30))/(3/(-15)). Is h smaller than -22/13?
True
Let c = -3 + 1.4. Let i = -26.6 - -24.9. Let f = i - c. Which is bigger: f or -0.3?
f
Let k(y) = 36*y + 75. Let q be k(-3). Do q and -0.7 have different values?
True
Suppose 0 = -6*l - 0*l - 72. Let b be l/(-20) + (-20)/(-175). Is 2 equal to b?
False
Let z be (2736/136)/19 - 2/1. Is 0 greater than or equal to z?
True
Let i = -250 + 252. Suppose 0*j - 4 = j. Is j bigger than i?
False
Let h be (2 - 0 - -1) + 44/(-11). Which is smaller: h or -2/345?
h
Let y = 0.23 + -0.33. Which is bigger: y or -0.36?
y
Let l = -2191 - -400955/183. Which is bigger: l or -1?
l
Suppose -300*f + 312*f + 312 = 0. Is -30 != f?
True
Let d(g) = g - 7. Let a = 28 - 18. Let t be d(a). Let o be (4/(-6))/((-2)/t). Is o less than -2?
False
Let q = -2124 + 1540. Which is smaller: q or -585?
-585
Suppose 0 = 15*g + 9*g + 288. Let j = 0.3 - 4.3. Let z = j + 4.1. Are z and g non-equal?
True
Let n(z) = 2*z + 2. Let p be n(-1). Suppose -a = -p*a. Are -2/5 and a unequal?
True
Let n be ((-1129)/10 + -2)/(45/(-30)). Which is bigger: n or 76?
n
Suppose 70 = 5*w + 4*o + 18, 5*o = 5*w - 25. Suppose 341 = -b + 12*b. Let s(p) = 2*p - 54. Let d be s(b). Do w and d have the same value?
True
Let g be 5/(-56) + (-4)/14. Let o = -3.4 + 0.2. Let j = o - -3. Is g >= j?
False
Suppose -j + k + 2 = 0, -5*j = -j + k - 23. Suppose -j*s - 5 = 0, z + 3*s - 2 = 6*s. Does -1 = z?
True
Let u(h) = 2*h**2 - 6*h + 1. Let x(z) = -z**3 - z - 1. Let d(l) = u(l) - x(l). Let a be d(1). Is -1/7 not equal to a?
True
Suppose 0 = -c - 5*z - 15, 2*z - 6 = -4*c - 30. Let i(u) = u**2 + 9*u + 2. Let w be i(c). Let l = w + 19. Is -2/15 greater than l?
False
Let q = 60297/7 + -8600. Is 15 less than q?
False
Let g = 736 - 5154/7. Which is smaller: g or -1/62?
g
Let x be (0 - 99/(-10))/((-46)/(-92)). Which is smaller: 21 or x?
x
Let r = 0.002 + -25.002. Let p = 25.4 + r. Which is bigger: p or -5?
p
Suppose -8*t + 4*t = 88. Let v = 2/531 - 58951/2655. Let l = t - v. Is l > -1?
True
Suppose g - 2*y = 8, -2*g + 0*g - 4*y + 32 = 0. Let w = -45 - -45.21. Let b = w + -0.11. Which is smaller: b or g?
b
Let l = -1106 - -1106. Which is smaller: l or -1/76?
-1/76
Suppose -5*p - 25 + 0 = -y, 3*p + 15 = 5*y. Suppose y = 4*v - 11*v - 238. Is -34 at most as big as v?
True
Let g = -345 - -346.77. Let r = g + 0.23. Which is greater: r or -1?
r
Let s be 0 - (-3 - (-4 + -2)). Let j = 7 + s. Let o be (-2 + 11)*((-42)/(-18) - 2). Which is greater: o or j?
j
Suppose 0 = 28*a - 16*a + 708. Is a not equal to -59?
False
Let v be -3 - 5/10*(-1982)/8. Let w = v - 121. Which is bigger: w or -4?
w
Let r = 172.4 + -172.3. Which is bigger: -2/7241 or r?
r
Let d be 4/(-6)*258/4. Let v = d + 298/7. Let m = 62 - 249/4. Which is greater: v or m?
m
Let s = -355 - -413. Is s greater than -1/17?
True
Let s = -27.7 - -27.5. Let c = 3.93 - 4. Is c less than s?
False
Let c be ((-2328)/(-2716))/(1*(-4)/14). Is 502 greater than c?
True
Let h be 22/(-110) - (-53)/115. Which is greater: -2 or h?
h
Let i = -29 + 32. Suppose -2*g - g = 60. Let z be (-2)/4 - 55/g. Which is bigger: i or z?
i
Let r = 72 + -55. Let o = -70 + r. Is -53 at least as big as o?
True
Let z(x) = 2*x**2 + 17*x - 13. Suppose 5*p = 4*w + 25, 4*p + 19 = -w + p. Let u be z(w). Which is smaller: 18 or u?
u
Let y be (6/(-21))/(120/210). Which is bigger: 20/9 or y?
20/9
Suppose -195 = 3*t - 6*t. Suppose t = -5*q + 10*q. Let j be q/(-4) - (-21)/28. Which is greater: j or -3?
j
Let o = -0.77 - 28.63. Let a = o - -27. Let t = a + 2.1. Which is smaller: 0.1 or t?
t
Let p = -918 - -473. Let i = p - -4009/9. Let m be (0 - 1/1) + 1. Which is greater: i or m?
i
Let s = -49.3 + -7.7. Let v = 58 + s. Which is smaller: -2/5 or v?
-2/5
Let k be (-1)/(-5) - (-945)/25. Let g(r) = -r**3 - 5*r**2 - 2*r - 2. Let p be g(-4). Let i be k/p + (-4)/20. Which is smaller: 0.1 or i?
i
Let m(w) = 4*w**3 - 3 + 1 + 0 - 3*w**3. Let h be m(0). Let c = 61/4 - 16. Which is smaller: c or h?
h
Let s(m) be the first derivative of 5*m**2/2 + 24*m + 53. Let a be s(-5). Is a less than 1/44?
True
Let t be ((-3)/(-6)*68)/(12/(-3)). Is -4 less than or equal to t?
False
Suppose 2 = -3*o + 32. Let g = o - 5. Suppose -6*n = g*v - 2*n + 13, -22 = 5*v + n. Is v less than -18/5?
True
Suppose 2 = -c + 3*u, -12*c - 2 = -11*c + 3*u. Let h = 2 + -4. Is h at most c?
True
Let t = -15/28 + 17/84. Is 0.116 smaller than t?
False
Suppose -12*u + 76 = 7*u. Let x be (-4)/(1 - (3 - 18/u)). Is -5 greater than x?
False
Suppose 0 = -d + x, -5*d - 5*x + 3*x + 21 = 0. Suppose -6*a - 3 = -3*a - 3*r, -3*a + 5*r = d. Let w be ((3 + -2)*3)/(-4). Is a >= w?
False
Suppose -4*a + 2*a = -4. Suppose 1 = u - a. Suppose -6 = -3*c - u. Is c bigger than 1?
False
Let a = 1/760 - 1529/6840. Let i = -1 + 2. Which is smaller: a or i?
a
Let d = 7 + -23. Let n = d - -28. Let b = n - 16. Which is smaller: b or -0.1?
b
Suppose 1508 + 292 = 5*x. Let o be 2 + (x/(-35))/6. Do o and 0.7 have the same value?
False
Let r be ((-1)/1)/(-9 + 0 + 10). Suppose 0 + 2 = p. Is r bigger than p?
False
Let y = 12.37 - -0.93. Let w = y + -14. Let l = w - -2.7. Is 2 > l?
False
Let v(r) = -r**3 - 4*r**2 + 7*r + 5. Let z be v(-5). Let w(p) = -2*p - 10. Let q be w(z). Is q bigger than -6?
True
Let v = 36/5 + -22/3. Let n(h) = -16*h**3 - h. Let j be n(1). Let w(u) = -u**3 - 18*u**2 - 17*u. Let g be w(j). Is g > v?
True
Let i = 74 - 103. Let t = 29.1 + i. Which is smaller: 22 or t?
t
Let a = 10 + -8. Suppose 0 = -a*l - 5*z + 22, -2*z = -0*l - 2*l + 8. Suppose k + 0 = l. Is k greater than or equal to 4?
True
Let t = 86 + -78.3. Let o = 6 - t. Which is smaller: 0.1 or o?
o
Suppose -35*v + 9384 = 1999. Is 213 > v?
True
Let d = -733 - -743. Which is smaller: d or 3/10?
3/10
Let m be 21/(-2) - (-2)/4. Let s be 6/9*(-3)/m. Let i be (-150)/270 - (-4)/(-9). Is i equal to s?
False
Let y be ((-3)/12)/((-2)/8). Let s be 23 - 28 - (-30)/y. Is 25 at least s?
True
Let k = -13 + -11. Let r = k - -38. Which is smaller: r or 2/9?
2/9
Let v be 4/(-10) + 444/510. Let m be 2 - ((-11)/33)/((-1)/3). Which is greater: v or m?
m
Let k(x) = -x**3 + 7*x**2 + 8*x + 8. Let g be k(8). Let r = 28.71 + -0.71. Let l = -27 + r. Which is smaller: l or g?
l
Let w = -1203 - -2871. Let d be -7*(-5)/(-1)*12. Let m be (-1 - -5) + w/d. Which is bigger: 0 or m?
m
Let o be ((-5)/(-10))/(2/(-4)). Which is greater: o or -28/25?
o
Let c = 23.76 - 23. Let t = c + -1.38. Which is smaller: t or 0?
t
Let b(s) = 129*s + 257. Let u be b(-2). Which is greater: -1/491 or u?
-1/491
Suppose 0 = -5*w + 2*w + 189. Let r = w + -568/9. Which is greater: r or -3?
r
Let v be -38 + -1 + 0 + 2. Which is bigger: v or -192/5?
v
Suppose y + 38 = -16. Let i = 52 + y. Does i = 0?
False
Suppose -3*d - 3*g + 17 = -139, 157 = 3*d + 4*g. Let t = -33 + d. Is t equal to 18?
True
Suppose 3*a + 10 = 8*a, 5*x = 4*a - 978. Is -777/4 smaller than x?
True
Let k = -26.4 + 11.4. Let u = 180.8 + -197. Let r = k - u. Are -1 and r unequal?
True
Let n = 1959 + -652345/333. Which is greater: 0 or n?
n
Let b = -18.2 - -18.3. Is b bigger than -2?
True
Let h = -376.9 + 377. Is h > 70?
False
Suppose 4*d - 25 = -9. Suppose a - 3 = 4*g, g - d*g - 2 = -a. Let c = 2 - a. Is 1 > c?
False
Suppose 3*f = -3*f. Let s be (f + -1)*0/4. Which is smaller: s or -10/11?
-10/11
Let i(o) = o**2 + 12*o + 34. Let z be i(-7). Suppose q + 2*q + 4*h = 39, -5*q + 2*h = -65. Let t be q + 5 + z/1. Which is bigger: 18 or t?
18
Let h = -14388 + 14389. Let g = 237 + -140. Is h equal to g?
False
Suppose 5*i + 2 = 3*h - 26, -2*h = -4*i - 22. Let t be (-1045)/(-11) + -2 + h. Let x = 656/7 - t. Is x