o = 3433/2155 + 3/431. Which is greater: o or h?
h
Let y(r) = -22*r**2 - 172*r + 33. Let a be y(-8). Which is bigger: -4/35 or a?
a
Let q = -11 + 15. Suppose q*g = 4*s + 8, -4*s - 20 = -g - 6. Is s equal to 0?
False
Let w be 3 + 2/2 + -4 + -4. Which is greater: -23 or w?
w
Let d = 3575 + -25167/7. Is 1 smaller than d?
False
Let w be (-3)/4 + (-8114373)/203028. Let l = w + 6/2417. Let q = l - -41. Is q >= 0?
True
Let s(m) = m**3 + 4*m**2 + 4*m + 2. Let g be (-9)/4 - (3/(-12))/1. Let j be s(g). Is 2 > j?
False
Let p(x) = 2*x**2 + 4*x - 2. Let q be p(-4). Let v be 6 - 6 - 70/(-2). Let c be (-570)/v + 4/q. Is c smaller than -16?
False
Let u = -5.16 + 6.16. Is u bigger than -3?
True
Let k = -21 + 25. Let a be (-3)/k - (-2)/(-8). Which is smaller: a or 2?
a
Suppose 7*t + 4655 = -476. Let b = t - -3616/5. Which is bigger: b or -9?
-9
Let k = -1344 - -1527. Which is greater: 185 or k?
185
Let v = -160 - -159. Which is smaller: -87 or v?
-87
Let f be 3*(-4 - (-25)/12). Suppose c - 4 = -9. Are f and c equal?
False
Suppose 4*m - m + 2*h = -314, -2*h - 418 = 4*m. Let s = -419/4 - m. Suppose 4*r = d - 12 + 2, 3*d - 12 = 3*r. Which is smaller: s or r?
r
Suppose 44*k = 2179 + 23825. Is k greater than or equal to 591?
True
Let z = 3696 - 236521/64. Let d = z + -1159/1088. Do 0 and d have different values?
True
Let f = -2206 - -2208. Is f > 0.674?
True
Let c be 72/45 + (-2)/(-10). Let i = 2.1 - 5.1. Is c != i?
True
Let p(s) = s**3 - 12*s**2 + 13*s - 23. Let g be p(11). Are -3/5 and g unequal?
True
Let z = -0.0496 - 5.9504. Let i = -3 + 0. Which is smaller: z or i?
z
Let u = 2 - 3. Let b = -3/212 - 1687/636. Which is smaller: b or u?
b
Let l(j) = j**2 + 7*j + 1. Let f be l(-5). Let z(p) = 2*p - 5*p + p + 8. Let x be z(8). Is f >= x?
False
Let p(g) = 15*g**2 + 2*g - 1. Let f be p(1). Suppose -3*n + 7 - f = 0. Suppose -4*w - 4 = 8. Is n less than or equal to w?
True
Let m = -729 - -722. Which is bigger: m or 55?
55
Let m = -566 - -565.6. Which is greater: m or -3/19?
-3/19
Let c be 1/2 + 5922/188. Is 16 not equal to c?
True
Let g = -134 - -146. Do g and 16 have the same value?
False
Let d(p) = -6*p**2 + 6*p - 11. Let j(i) = -3*i**2 + 3*i - 6. Let m(c) = 3*d(c) - 5*j(c). Let w be m(1). Which is smaller: w or -2?
w
Suppose 8*z = 5*z - 279. Let h = z + 94. Is h > 1/41?
True
Let m(g) = -g**3 - 15*g**2 + 9*g - 14. Let x be m(-15). Do x and -443/3 have the same value?
False
Let w be ((-96)/(-216))/(4/3)*-3. Let o = -1196/3355 - -16/55. Let m = 158/549 + o. Do w and m have different values?
True
Suppose 1 = 3*y + 4*r, -23*r + 25*r = y + 3. Is -4 bigger than y?
False
Let a(s) = -s**2 - 11*s - 41. Let d be a(-13). Is d bigger than -67?
False
Let g = 30 + -31. Is 9 at least g?
True
Suppose -3*a + 2*t - 223 = 0, -50 - 171 = 3*a - t. Let q = 45 + a. Is -29 smaller than q?
True
Suppose 679 = -16*l + 71. Which is smaller: l or -36?
l
Let o(k) = -k**3 + 10*k + 1. Let z be o(3). Suppose 0*s = 4*s - 28. Is z at least s?
False
Let z = 2993/3 - 990. Is z greater than or equal to 8?
False
Let a(f) = 2*f**3 - 2*f**2 - 2. Let m be a(2). Let n be (64/24)/((-2)/m). Let j = 14 + -20. Which is smaller: j or n?
n
Let q = -0.08 - 48.92. Let y = q + 45. Is 5 > y?
True
Let g(h) = -2*h**2 + 15*h + 6. Let p be g(10). Let c be (2 + p/12)*-3. Which is smaller: 25/4 or c?
c
Let s(d) = -27*d - 460. Let x be s(-17). Suppose -k + 4*k - 6 = 0. Let m be x*k - (9 + -12). Is m less than or equal to -1/30?
False
Let s be ((-14)/12)/(40/16). Is 2/7 smaller than s?
False
Suppose 3*f + f - 16 = -4*v, 0 = -5*f + 25. Let n(s) = s**2 + s + 133. Let z be n(0). Let j be -2*1 - (-190)/z. Is j >= v?
True
Suppose -3*f = -14 - 1, -2*t = 2*f + 48. Let v be (-3 + -1)/((-5)/(-35)). Is v at least as big as t?
True
Suppose -5*z = z + 36. Let m = 10 + z. Suppose -19 = -m*x - 7. Is x at most as big as 3?
True
Let h be (-2)/(-11) + (-8)/(-88)*(-138 - -4). Let f(p) = 10*p. Let q be f(-1). Is q smaller than h?
False
Suppose o = -4*x + 1292 + 383, 0 = -2*x + 2*o + 850. Let l be (-2)/(-8) + 27/x. Let k = l - 5/7. Is k at least as big as -0.04?
False
Let l = 35 - 35. Suppose 0 = x + 4*r - 9, 2*r = -l + 4. Which is bigger: 6/65 or x?
x
Let x = 0.2 + -0.27. Let g = 0.204 + -0.144. Let j = x + g. Which is greater: j or -0.1?
j
Let q = 669.49 - 664. Let a = -10.48 + q. Let m = -0.01 + a. Are -0.2 and m non-equal?
True
Let i = -47 - -49. Suppose 2*k - 4 = 0, 7*t = 2*t - i*k - 6. Is -4 > t?
False
Let z(q) = -3*q - 4. Let g be z(4). Let s = g + 22. Let y be (-2)/s - 10/(-3). Is y at least 2?
True
Let f be 23770/55 + 5 + (-2)/11. Is f less than or equal to 439?
True
Let s = -8 + 16. Let d = s + -11. Suppose 9 = 4*m - 2*l + 31, 0 = 5*m - 5*l + 35. Which is smaller: m or d?
m
Let o(p) = p**2 + p - 1. Let v(s) = 5*s**2 + 16*s - 7. Let n(g) = -6*o(g) + v(g). Let j be n(7). Let b be 6/15 + j/(-25). Which is bigger: b or -1?
b
Suppose -5*z = -23*t + 18*t + 825, 4*z = 2*t - 654. Which is smaller: z or -161?
z
Let t = -1073 + 7513/7. Which is smaller: t or 0.0603?
0.0603
Let c(f) = -5*f**2 + 26*f - 24. Let k be c(4). Suppose -3*a - 47 = 13. Which is smaller: k or a?
a
Let y = 4 - -1. Which is smaller: y or 0.3?
0.3
Suppose 2*w + 0*w + 24 = 0. Let x be (6/(-9))/(64/w). Let k = 3/20 - 29/60. Do x and k have the same value?
False
Suppose -2*o - 3*s + 2 = -4*o, 5*o - 4*s - 2 = 0. Which is smaller: 26/15 or o?
26/15
Suppose 6*s - 65 = 667. Let h be (-3)/15 - s/5. Let w = -871/35 - h. Is 6/5 greater than w?
True
Let y be (-56)/(-10) - (-39)/(-65). Suppose 0 = m - y + 6. Which is smaller: m or 3/25?
m
Let l = -23 - 0. Let n(p) = -24*p**3 + 3*p**2 - 3*p + 1. Let d be n(1). Is d at least l?
True
Suppose -n = -z - 2*z - 482, 0 = 2*z - n + 320. Let v = 813/5 + z. Let t = -2.9 - -3. Is t bigger than v?
False
Let t = -1114 - -1135. Which is bigger: t or 7?
t
Let k = -34080 - -238069/7. Which is smaller: -71 or k?
-71
Let k = -6275/69 + 91. Which is smaller: k or -1?
-1
Let z = -407192/31 - -13140. Are 4 and z nonequal?
True
Let x be ((-18)/15)/3 + 8095/(-75). Which is smaller: x or -109?
-109
Let z = 0.141 - 70.141. Let h = 98 + z. Are h and 0 non-equal?
True
Let a be ((-2)/3)/(4/(-9)). Let y be -7 + 3 + -1 + 7. Suppose 8 = -2*j, -2*j - y = 2*i - j. Is a >= i?
True
Let h = 290 + -264. Is h at most as big as 131/5?
True
Let u = 86.5 + -93. Let k = 5.9 + u. Which is bigger: k or 1/6?
1/6
Let u = -1.53 - -1.54. Let b = 2 + -2. Which is smaller: b or u?
b
Let k = 169 + -177. Which is smaller: -84/11 or k?
k
Let i(n) = -3*n + 12. Let g(w) = w - 1. Let d(y) = 4*g(y) + i(y). Suppose 0 = 8*k - 6*k + 14. Let q be d(k). Is 1/13 < q?
True
Let n = 10.68 - 4.68. Which is smaller: n or -8?
-8
Let a = -5 - -2. Let z = a + 3.2. Do 9 and z have the same value?
False
Let x(k) = -3*k + 18. Let p be x(18). Let c = -54 - p. Which is greater: -17 or c?
-17
Let q = 239 + -677. Is q > -436?
False
Suppose 0 = s + 4 - 8. Let t = 1 - s. Is t at most as big as -3?
True
Let b(d) = -2*d**2 + 17*d - 9. Suppose 6*v = 7 + 41. Let u be b(v). Which is greater: u or -4/37?
-4/37
Let b = 52 + -51. Which is smaller: b or -5/231?
-5/231
Let u be (19 - 24) + (-95)/(-20). Which is smaller: -127 or u?
-127
Let c be -7 - (-17 + 6 - -4). Which is bigger: c or -4/287?
c
Let b be (-10)/(350/(-15))*(-1)/5. Do 1 and b have different values?
True
Let o(d) = -3*d + 26. Let q be o(5). Is 116/11 at most as big as q?
True
Let k be (6 + 0)/((-5)/(-3)). Let r(c) = 3*c**3 - 4*c**2 + 10. Let j be r(4). Suppose -j*u + 142*u - 16 = 0. Which is greater: k or u?
u
Let b(k) = 20*k**3 + 1. Let w be b(1). Let c = w - 29. Suppose 0 = -n - 16 + 17. Are n and c equal?
False
Let w = -1794 - -1386. Which is smaller: -410 or w?
-410
Suppose 4*j = -s - 7, -4*s + 0 - 11 = -j. Let m = 7/680 - -567/2720. Which is smaller: m or j?
j
Let u = -56 - -64. Let r be 3 + 70/u*(-4)/11. Do r and 1 have different values?
True
Suppose 2*b + 10 = -4*p, 2*b + 2*b + 20 = 4*p. Suppose -n + 104 - 98 = p. Is 9/2 smaller than n?
True
Suppose -16 = -3*z - 4*u, u - 20 = -z - 16. Which is bigger: -16/17 or z?
z
Let a = -182 - -248. Which is smaller: 0.05 or a?
0.05
Suppose -9453 - 17651 = -32*w. Is 1 less than w?
True
Let c = -21890/7 - -3146. Is c not equal to 18?
True
Let p(d) = -d**3 - 40*d**2 - 36*d + 110. Let x be p(-39). Let h = 27 + -40. Le