ave different values?
True
Let r = 1.79 - 5.79. Is -0.3 at least r?
True
Let u = -1.043 + -89.957. Which is bigger: -2 or u?
-2
Let r(g) = -5*g**2 - 16*g + 12. Let v be r(-4). Let l(h) = -3*h**2 - 2*h - 1. Let m be l(-1). Let t be m/(((-1)/2)/(-1)). Is v equal to t?
True
Let g be 4 + -1 - (-75)/21. Let u = -328 - -328. Which is smaller: g or u?
u
Let c be (-1)/(-2)*1*6. Suppose -3*p = -5*t + 6 + 15, t = -c*p - 3. Are p and -2 non-equal?
False
Let c be ((528/21)/(-4))/((-16)/616). Is c at least 242?
True
Suppose 5*m = -0*n - 3*n - 201, -3*m + 81 = -n. Is n smaller than -72?
False
Let z = -1254 - -1285. Is 15 at most as big as z?
True
Let t(v) = v**3 + 17*v**2 + 6. Let d be t(-17). Let c be (-33)/2*4/d. Do -19/2 and c have the same value?
False
Let k = -19 - -28. Let f = 6.9 - 6.9. Which is smaller: f or k?
f
Let k = 5 + -3.8. Let t = 0.1 - k. Let h = t - -1. Is -1 not equal to h?
True
Let i = 274.62 + -271. Are -2/3 and i nonequal?
True
Let g = 2.26 + -2.36. Let t = 3 + -6. Is g at most as big as t?
False
Let i = -47 + 6. Let c = -41 - i. Let o = -409/11 + 37. Is c at least as big as o?
True
Let o(b) = -10*b - 18. Let h be o(9). Let z be (-4 + h/(-28))/1. Is 0 smaller than z?
False
Let k = 24 - 20. Suppose -4*j + k = 3*a, 4*j - 2*a - 3 = j. Let h be 177/(-60) + (0 - -3). Are h and j non-equal?
True
Suppose 5*p = 3*h + 2, 4*h = -h - 2*p - 55. Suppose -5*y + 5*n + 375 = -0*n, -5*n = y - 45. Suppose 182 - y = -14*d. Which is smaller: d or h?
h
Suppose -12*w + w = 110. Is -4 greater than w?
True
Let n = 227/90 + -51/20. Let p(f) = f - 23. Let r be p(18). Let g be ((-10)/15)/(r/(15/(-2))). Which is smaller: g or n?
g
Let i(x) = x**2 + 3*x + 2 + 5*x - 5 + 8. Let q be i(-6). Let n = -6 - q. Is 1/5 smaller than n?
True
Let v = 5/26 + -77/130. Which is bigger: v or -14/117?
-14/117
Suppose -193 = -3*y - 190. Which is smaller: -16/61 or y?
-16/61
Let o = -692753/101 + 6859. Which is smaller: -1 or o?
-1
Suppose -3*f - 300 = f. Is -75 bigger than f?
False
Let u = -1120 + 1083. Which is bigger: -35 or u?
-35
Let y be ((-8)/10)/((-3)/15). Let z = 11 - y. Let x(b) = -b**2 + 6*b - 6. Let m be x(z). Is m bigger than -11?
False
Suppose 0 = 74*a - 69*a - 170. Which is smaller: -12 or a?
-12
Let k = 201.892 + -202. Is 0.1 != k?
True
Let v(a) = a**3 + 21*a**2 - 21*a + 22. Let z be v(-22). Suppose 8*g - 18*g - 400 = z. Which is bigger: g or -41?
g
Let a = -505 + 762. Are 0.1 and a non-equal?
True
Suppose 6 = -2*j + 12. Let w(x) = -x**j + x - x**2 + 4*x**3 - 4*x**3 - 3*x**3. Let c be w(1). Is -3 > c?
True
Let r = 80 - 146. Which is smaller: -64 or r?
r
Let x be -1*(-1 - -2) - (15 + 410). Which is greater: x or -1?
-1
Let t = 4.344 + -33.282. Let j = -29 - t. Which is smaller: -1 or j?
-1
Suppose 4*o + 3 + 9 = 0. Let n = 49/6 + -23/3. Which is greater: n or o?
n
Let j = -129029 + 233989. Let f = -1155475/11 + j. Let k = f + 83. Is 1 greater than k?
True
Let n = -2539/8911 - 1/1273. Let i be ((-2)/(-3))/((-4)/(-6)). Is n bigger than i?
False
Let o(f) = 13 + 13 - 23*f + 22*f. Let n be o(17). Which is smaller: n or 6?
6
Let v be -1 - (-1 - (-3 + 13)). Let y = v - 4. Suppose -b + 0*b = z - 3, -5*z + 27 = -b. Which is smaller: z or y?
z
Let a(g) = -19*g + 13. Let s be a(1). Which is greater: 0.1 or s?
0.1
Let y = -0.085 - 33.915. Let v = -34.5 - y. Is 3 at least as big as v?
True
Let b = -69.868 + -0.132. Let h = b + 70.5. Does h = 1.2?
False
Let l = -117 - -239/2. Let b(h) = 9*h - 7. Let y be b(1). Which is bigger: l or y?
l
Let q = 42 - 83.2. Let t = q - -41. Are -16 and t non-equal?
True
Let y = -25 - -9. Let q be 574/(-38) - (-12)/114. Is y >= q?
False
Let k = -367 - -5507/15. Let l = 1/15 + k. Let a = 0.17 - 1.17. Is l less than a?
False
Let k(r) = -65*r + 195. Let l be k(3). Which is bigger: -5/111 or l?
l
Suppose -4*g + 10*g = 144. Let r be (-2*1*3)/(g + -25). Which is smaller: 21/4 or r?
21/4
Let h = -2031 + 1805. Is h bigger than -5?
False
Suppose g - 5*d = -21, g + d = 3*d - 6. Let v = 12 - 15. Let w be 10*(v/2)/(-3). Is g <= w?
True
Let x = -21.4 - -23. Let m = x + 0.4. Which is smaller: m or 3?
m
Let s be 10/14*8/100. Let k(a) = -2*a - 7. Let h be k(-8). Suppose 8*y - 1 = h*y. Which is greater: y or s?
s
Let z = -4 + 6. Let t = -62105/14 + 26339/6. Let n = 140/3 + t. Which is smaller: z or n?
n
Let x(w) = -w**2 + 2*w + 1. Let l be x(3). Let b(h) = -44*h**3 - 2*h**2 + h. Let g be b(1). Let m be 1 - ((-141)/g + l). Which is smaller: -1 or m?
-1
Suppose 207*l - 214*l = 7. Which is greater: l or 1/105?
1/105
Let m be ((-12)/(-42))/((-16)/(-14)). Let z = 0 - -5. Suppose 0 = 2*b - 4*p + 14, -z*b + p = 6*p - 25. Which is smaller: b or m?
m
Let y = -11.5627 + -0.0373. Is y > -0.3?
False
Let d be (-6)/(-9) - (-5030)/15. Suppose 6*t + 0*t + d = 0. Let u = 80 + t. Is u > 25?
False
Let s = 5966/11 + -542. Let v(x) = 12*x + 132. Let w be v(-11). Is s bigger than w?
True
Let f(s) = -18*s - 142. Let o be f(-10). Which is bigger: o or -2/3?
o
Let b be 1/(-2)*(1 - 59). Let d = b + -16. Suppose 1 + d = -2*s. Which is greater: s or -6?
-6
Let o = 7 + -7.41. Let q = o - -6.01. Is q < -0.1?
False
Suppose -2*g - 2*d - 10 = 0, g - 4*d + 3 + 7 = 0. Let x be g/2 + (-1763)/(-615). Let v be ((-4)/2)/2*0. Which is greater: x or v?
v
Let z(b) = -29*b**3 + 17*b**2 - 17*b + 17. Let g(r) = -10*r**3 + 6*r**2 - 6*r + 6. Let q(w) = -17*g(w) + 6*z(w). Let t be q(-1). Is 11 bigger than t?
True
Let z = -233 - -218. Which is smaller: -0.3 or z?
z
Let f(b) = 6*b**2 - b - 1. Let h be f(1). Let i be 18/(-4)*8/12. Let r be (-1)/i*(h - 16). Is r greater than or equal to -1?
False
Let x = -15.792 + -0.308. Let i = -16 - x. Suppose -z + 2 = -2*w + 3*z, 4*z = w - 3. Is i at least as big as w?
True
Let g = -0.0441 - 0.9169. Let v = g + -0.039. Let d = -1.2 + 1. Is d at most v?
False
Let t be (-1 - (-2 + 0))/(-1). Let m be 4 - t*(-1 - 1). Suppose z - 33 = -3*q - m*z, -3*z = 4*q - 44. Is q greater than 10?
True
Let z be (-1)/(-22)*14/168*-8. Which is smaller: z or -3?
-3
Let u(n) = 590*n**2 + 2*n - 1. Let z be u(1). Suppose -3*w - 6*p = -3*p + z, 0 = 3*w + 5*p + 583. Let o be (-3)/(-7) + w/28. Is o bigger than -7?
True
Let a be (-4)/(-20) - (-79)/(-20). Let s(r) = r**2 + r - 1. Let c(d) = 5*d**2 - d - 7. Let k(f) = -c(f) + 6*s(f). Let p be k(-6). Is a less than or equal to p?
False
Let y = 0.7944 + 0.2056. Which is smaller: 941 or y?
y
Let w be ((-10)/(-275))/((-2)/30). Suppose -4*d = -2*d - 2*n - 12, -5*d + 2*n + 21 = 0. Let x be d/(-6)*(-8)/(-2). Which is greater: x or w?
w
Let z = 556 + -11686/21. Suppose 2*o - 5*y = 5*o, -3*y = -5*o. Which is smaller: z or o?
z
Let h be (0 - 1768/(-32)) + 2. Is h at most 56?
False
Let j = -204 + 250. Is 46 at least j?
True
Let x = -0.024 - 52.976. Let i = x + 53.4. Is i bigger than -4?
True
Let y = -926 + 10195/11. Is y greater than or equal to 1?
False
Let c = 486 - 3404/7. Is 132/13 != c?
True
Let z = 138 + -189. Let r = z - -30. Let p = -0.2 - -0.1. Is r at least p?
False
Let f be (-2122)/(-4260) + -6*(-4)/(-48). Is 1 at most as big as f?
False
Suppose -20 = 5*p, 4*p = 2*i + p - 12. Is 3/166 smaller than i?
False
Let s = 86.18 + -92. Let r = -0.78 + s. Let o = -1.4 + r. Which is greater: 2 or o?
2
Let p = 3021/620 + -72/31. Let d = -933/335 - 1/67. Let n = d + p. Which is bigger: n or 1?
1
Let h(w) = -2*w**2 - 2*w + 3. Let c be h(0). Let n = -31 - -22. Let y = n - -8. Which is smaller: c or y?
y
Let i = -20 + 23. Suppose -3*u + 81 = 2*m + m, -5*m = i*u - 125. Is m not equal to 22?
False
Let z = -186 - -123. Let o = z + 67. Which is smaller: -4 or o?
-4
Let d = 17.1 + -17. Suppose 4*p - 41 = 2*i + 137, -3*p + 128 = 4*i. Let z = p + -54. Is z at least d?
False
Suppose 12*t = 23*t. Which is bigger: 0.1 or t?
0.1
Let u be 21/(-35) - (-26)/10. Suppose 0 = -2*l - n, -3*n = l + 2*n + 9. Does u = l?
False
Let t = 115 - 111. Let q be (-160)/(-28) + 4/14. Suppose -q*i = -t*i. Which is smaller: i or -2?
-2
Let j = 2/5996297 + -2974164502/3567796715. Let h = j + 4/119. Which is smaller: h or -2/3?
h
Suppose -2*f = 5*f - 490. Suppose -m = -6*m + f. Do m and 15 have the same value?
False
Let t be 964/(-112) - 10/8. Let k = 9 + t. Do -2 and k have the same value?
False
Let z = -8.1 + 8. Let u = 4.4 - 3.32. Let t = u - -0.22. Which is smaller: z or t?
z
Suppose 420 = 65*l - 53*l.