
True
Let y = 2.6 + -3.8. Let b = y + 1.2. Which is smaller: b or 2?
b
Let q be (2 - (-387)/(-135)) + 2/(-15). Let z = 11575952221/1305 + -8870461. Let v = z + -4/145. Is v smaller than q?
False
Let o = -286.37 + 287. Which is smaller: 0.2 or o?
0.2
Suppose -r - 3*i + 41 = i, -5*r - i = -129. Is 25 at least r?
True
Suppose 2*u = 2*d + 32, 5*u = -2*d - 32 - 21. Let v = 611 + -628. Which is smaller: v or d?
d
Let l = -476 + 475.7. Is -43 not equal to l?
True
Suppose -29 + 17 = 12*f. Is f >= 2/51?
False
Let s = -85722 - -597855/7. Let f = s + 315. Let x(o) = 6*o**3 - 13*o**2 + 9*o. Let w be x(1). Which is smaller: f or w?
f
Suppose -40*c = -48 - 32. Is c < -39/4?
False
Let c = 35/89 - -11093/534. Is 21 < c?
True
Let p(u) be the second derivative of u**3/3 - 4*u. Let f be p(-1). Let y = -70 - -137/2. Which is greater: y or f?
y
Let m = 676 - 19606/29. Let s = m + 73/638. Which is smaller: 1 or s?
s
Let a = -44 + 90. Does a = -15?
False
Let f be (-3 - -1)*(-21)/14. Suppose q + 26 = 4*v + 3*q, 0 = f*v + 4*q - 22. Suppose 0 = 4*h - 5*i, v*i = 3*i. Which is smaller: h or 2?
h
Let x(p) = -7*p**2 - 79*p + 18. Let k be x(-15). Which is greater: k or -370?
-370
Let d be (2 + -21 - -4)/(-3) - 1. Is -30/7 > d?
False
Let w = 0.0607 - 11.6007. Let h = w - 0.06. Let b = h + 13. Is b bigger than -1/3?
True
Let f be (-2)/(-9) + 700/90. Suppose 2*m + 3 - 1 = 2*d, 2*d + f = -3*m. Is -3 != m?
True
Let n be 22/(-110) + (-4)/(-70). Let d = 2/7 - n. Which is smaller: d or 0.3?
0.3
Let o = 7 + -2. Suppose 0*y = o*y + 15. Suppose -2*m - 6 = -0*m. Is m smaller than y?
False
Suppose n + 7*c = 2*c, 3*n + 18 = 3*c. Let y(j) = -j**2 - 5*j + 2. Let i be y(n). Suppose 5*l + i*x = -15, 8*x - 15 = 5*l + 3*x. Which is greater: -2 or l?
-2
Let p be -7 - ((-1 - (4 - 8)) + 1). Which is bigger: p or -86/9?
-86/9
Suppose -t + 6 = 1. Suppose -2*a - 68 = -t*v + 84, -5*a - 350 = -5*v. Let l be (6/9)/((-4)/a). Is l greater than or equal to 12?
False
Let q = -2/1599 + -4325/377364. Are q and 1 nonequal?
True
Suppose 0 = 2*t - 5*o + 234, 112 = -t - o - 5. Which is greater: t or -115?
-115
Let j = 3727/1013313 + -1/1533. Is j less than -3?
False
Let a(b) = 2*b**3 - 2*b**2 + 3*b - 2. Let q be a(2). Suppose 2 = 2*m - i + 3, 4*i = q. Is -3/8 bigger than m?
False
Let t = -169 + 129. Let l(k) = 10*k. Let n be l(-4). Is n > t?
False
Let s = 49 + -47. Let h = s - 0. Which is bigger: h or 2/9?
h
Let s be 3*(-6)/(-30)*(3 - 0). Is 1 less than s?
True
Let u = 0.4 - 0.6. Let b = -27.3 + 27. Let h = -2.7 + b. Is h at most u?
True
Suppose 208 = 11*y + 164. Is y less than or equal to 4/17?
False
Let a be 5 - (6/18)/(2/36). Is -1/68 bigger than a?
True
Let w(q) = q**2 + 9*q + 7. Let i be w(-8). Let r = i - -16. Suppose 0 = 2*x + 3*m - 32, 2*x - 4*m = 6*x - 64. Are x and r equal?
False
Let b = 3148 + -324247/103. Which is smaller: 1 or b?
b
Let y = -37 + 38. Let i be 4 + (-42)/8 + y. Which is smaller: -1 or i?
-1
Let k(v) be the first derivative of -v**3/3 - 14*v**2 - 52*v - 24. Let z be k(-26). Is z smaller than 1/6?
True
Let o = -423 + 641. Is 2 at most o?
True
Let i(z) = 2*z**3 + z**2 - z - 1. Let o be i(-1). Let q(p) = 20*p - 201. Let t be q(10). Is o != t?
False
Let r = -19 + 25. Suppose -2*l = 2 - 0. Let q be l + r/9 + 0. Which is bigger: -1 or q?
q
Let r(p) = -2*p + 4. Let y be r(-13). Let t be (24/y)/(4/10). Let i be (-15)/9 - -3 - t. Which is bigger: i or 0?
0
Suppose -4*t = 420 - 2168. Are 437 and t equal?
True
Let u(o) = o**2 - 2*o - 3. Let p be u(4). Let g be 3/(-1) + (p - -50). Let m be (3/(-10))/((-39)/g). Is -1 < m?
True
Let c = -794950760/1449 - -548620. Let b = 2/1449 + c. Let m = -1 + 1. Which is bigger: b or m?
m
Let a = -365 - -603. Are -2/5 and a non-equal?
True
Let n = 14 - 13.5. Let q = n - 0.9. Let r = 0.01 + 0.49. Which is smaller: q or r?
q
Let g = -81 - -82. Suppose -g = 8*c - 17. Let j be (6/(-4))/(6/(-8)). Is c greater than or equal to j?
True
Let c = 271 + -2431/9. Which is smaller: 0.2 or c?
0.2
Let y(g) = g**3 - g**2 + 2*g. Let q = -30 + 30. Let d be y(q). Which is smaller: d or 8/21?
d
Let z = 17 + -9. Let c(p) = p**3 - 8*p**2 - p + 1. Let x be c(z). Which is bigger: -4 or x?
-4
Let d be 28/(-3)*(-56)/441*-6. Let t = -4/9 - d. Which is smaller: t or -1/3?
-1/3
Let t = 4.38 + 1.62. Which is bigger: t or -0.05?
t
Let b = -84 + 35. Let y = 244/5 + b. Is 1 < y?
False
Let h = -13 - -7. Let o be (-3 - (-671)/66 - 8)*(-62)/(-10). Which is smaller: o or h?
h
Let b(u) = u + 7. Let q be b(-6). Suppose -c = -q + 2. Let s be 1/(-6) - c/(-3). Which is bigger: s or 2?
2
Let p(y) = -6*y**3 - 2*y**2 + y + 1. Let l be p(1). Suppose -8 = -2*n, 2*n = 3*k - 3*n + 23. Let u = l - k. Do -6 and u have the same value?
False
Let a(h) = -31*h**3 - 6*h**2 + 10*h + 4. Let b be a(-7). Let k be b/57 + 4/(-12). Let q = k + -180. Is q <= -1?
False
Let x be 90/126*(-2)/5. Let k = 2 + -4. Let m = -2 - k. Which is greater: m or x?
m
Let y(c) = 78*c + 304. Let z be y(-4). Which is smaller: z or -66/7?
-66/7
Suppose -46 = 28*j - 410. Is 11 > j?
False
Let p = 147 + -153.6. Let m = p + 5.6. Which is bigger: m or -12?
m
Let f = -109 - -112. Let u = -5 - -7. Let q be (54/(-6))/((-10)/u). Is f < q?
False
Suppose 0 = -7*k + 75 - 201. Which is smaller: k or -4?
k
Suppose 90 = -73*u + 82*u. Let s = 72 + -63. Which is smaller: u or s?
s
Let s = 2.97 + 0.03. Let b = s - 2.8. Let f = 77/2 - 40. Which is smaller: b or f?
f
Suppose 317*u = 325*u - 8. Which is bigger: 1.6 or u?
1.6
Let w = 0.9 + -1.9. Are w and -2/627 nonequal?
True
Let i(z) = z**3 + 4*z**2 - 6*z - 5. Let p be i(-5). Let k = 92 - 87. Suppose -3*d = -4*s - 19, k*d + p - 25 = 0. Are 13 and s equal?
False
Let x = 0.23 - 0.19. Let k = x + -3.04. Suppose 3*d = 8*d + 4*h + 3, -h - 2 = 0. Is k less than d?
True
Let h be 6 - 2 - (9 + (-20)/4). Is h bigger than 4/95?
False
Let g = -24889/11 + 2261. Which is greater: 1 or g?
1
Let f be 5*((-8 - 25/(-5)) + -2). Is -128/5 at least as big as f?
False
Let k = 2179 - 189571/87. Suppose -7 = 2*h - 5*r, 5*r = -5*h - 0*r. Which is smaller: h or k?
h
Suppose 0 = 3*a + b - 4, 4*a - 14 = b + 2*b. Suppose 4*y = k - 4, -y = a*k - 5*k + 1. Suppose k = 2*j - 16 - 6. Is j less than 10?
False
Let w be (5 - -1)*2/(-4). Suppose -4201*g = -4210*g + 27. Which is smaller: g or w?
w
Let p = -56 - -62. Suppose -2 = -p*m + 4. Which is greater: 5/9 or m?
m
Let x(t) = t**3 + 12*t**2 - 11*t - 5. Suppose -4*i = 2*g + 56, 3*g - 1 + 20 = -i. Let k be x(i). Is -33 greater than k?
False
Let l be 0/(3*2/6). Let f be 2 - (1 - l/(-3))*1. Is -2/25 less than f?
True
Let m = 1535/9 - 171. Which is smaller: m or 1.07?
m
Let b = -45 - 11. Let q = b - -57. Is q bigger than 2/53?
True
Let c = 47 + -51. Which is greater: -22/5 or c?
c
Let n be (-39)/91 - 3/(-7). Which is bigger: 1/409 or n?
1/409
Let w = -20 + -10. Let x be 2*(-3)/(w/(-85)). Let o(v) = -v**3 - 17*v**2 + 18. Let h be o(x). Is h <= 19?
True
Let u = 18 + 0. Let c be -1 + 2 - (u + -3) - -2. Is -12 less than or equal to c?
True
Suppose -q - 837 = -2*l, -2*q - 4192 = 3*q - 3*l. Let r = -44461/53 - q. Which is bigger: 1 or r?
1
Let n(k) = -3*k**2 + 3*k - 9. Let u be n(0). Do u and -8 have different values?
True
Let x be -14 + (-1680)/(-119) - (-56)/102. Let m = -7 - -47/7. Is x smaller than m?
False
Let b = 0.8 - 0.8. Let u = -46.2 - -48.2. Is b not equal to u?
True
Let c = 485 - 429. Which is greater: 283/5 or c?
283/5
Let h = -1193 + 1255. Which is greater: 53 or h?
h
Let k = 9 - 3. Let x be (k/4)/(80/(-32)). Let f = 6 - 8. Is f >= x?
False
Let h be (3 - (-1 + 2))*3. Let z be (-4)/(-2) + (-14)/7. Let m be z + (-3 - (-7 + 0)). Which is smaller: m or h?
m
Suppose -b + 3 = 4, 5*c - 4*b = 14. Suppose 0 = -9*i + 6*i. Suppose -p + c*o = 6, i*p = 5*p - o + 12. Which is smaller: 0 or p?
p
Let g = 3532/143 - 292/11. Is -4 smaller than g?
True
Let n = 0.038 - -0.562. Let i = n - 0.5. Let p = -0.1 + 0.09. Which is greater: p or i?
i
Let i = -1134 + 1134. Is i at most as big as -1/166?
False
Let h be 28/(-6)*3 - -2. Let x be -4*(2 + 22/h). Let f = -0.114 + 0.144. Which is smaller: f or x?
x
Let b = -0.2437 + 0.0437. Which is smaller: -182 or b?
-182
Suppose -3*q - 2*s + 5 = 0, 4*q = -13*s + 16*s + 1. Is q < -3/2129?
False
Suppose 0 = m + 4*m - 40. Let h be (m/3)/(2/6). Let q be ((-3)/(-26))/((-6)/h). Is 0 a