
True
Suppose -5*z + 2*n = -23, 9 = 3*z - 2*n - 4. Suppose -r = -z*r + 224. Suppose 65*k - 58*k - 14 = 0. Is k at most r?
True
Let f = -40125219183 - -1082458037698121/26977. Let d = f + 396/53. Which is bigger: d or -1?
d
Let o(i) = -26*i**3 + i + 1. Let f be o(-1). Suppose 0 = -4*z + f + 82. Let s be ((-108576)/(-936))/((-8)/(-3 - -1)). Which is smaller: z or s?
z
Let c = -1107 + 1110.4. Which is bigger: c or -256?
c
Let i be 1/((-23)/(-11))*(-2132 - -1). Let y(j) = 2*j**3 + 5*j**2 - 7*j - 29. Let v be y(-9). Let b = v - i. Which is greater: 1 or b?
1
Let z = -134/3 + 17953/402. Suppose 18*y - 13*y = 5. Which is smaller: z or y?
z
Let n = -647 - -924. Let b = -276 + n. Which is smaller: b or 2/13?
2/13
Let s = -0.033 + 13.933. Let q = s - 14. Let g = 21 - 72. Is g at most as big as q?
True
Suppose -4*m + 204 - 44 = 0. Let w be (-4)/m*(-3 + 9). Is -1/13 greater than w?
True
Let u(h) = -h**3 - 16*h**2 - 62*h - 322. Let t be u(-14). Which is smaller: t or 158?
t
Let o(c) = c**3 - 12*c**2 - 82*c - 10. Let j be o(17). Suppose -5*q - 5*n - 165 = 0, 3*n = -2 + 17. Let t = j + q. Which is bigger: t or -3?
t
Let s = 0.941 - -0.059. Let f = 64.07 - 1.07. Let t = 59.1 - f. Which is smaller: s or t?
t
Let n = 49828345909/11375258232 + -2107/439267. Let i = -2/3237 + n. Which is bigger: 0 or i?
i
Let n = 17307.4 + -17505. Which is bigger: -0.04 or n?
-0.04
Let a be (5/(-1))/(3/(-15)) + -2. Let q be a - -10 - (2/1 - 1). Is 32 != q?
False
Let x = 146.76 + 20.44. Let h = 167 - x. Which is bigger: -9/5 or h?
h
Let l = 31251/12535715 + -5/2363. Is l less than or equal to 1?
True
Let q = -3231 + 3245. Let k = -0.3 - -0.2. Which is bigger: q or k?
q
Let r be (135/6 - 21)*(-808)/138. Which is smaller: -9 or r?
-9
Let s be -20*(-12)/(-96) - 110/(-4). Suppose -5*o = s*o - 1500. Is o at least 50?
True
Suppose f = 2*f + f. Suppose 2*l - 7 - 1 = f. Which is smaller: -9 or l?
-9
Let n = 9/239 + -20369/1434. Let i = -746 + 731. Which is greater: n or i?
n
Let h = -1/1633 - 63682/8165. Which is greater: -9 or h?
h
Let n(g) = -3*g**2 - 202*g - 1978. Let v be n(-10). Which is smaller: v or -154?
v
Let s(b) = b**3 + 7*b**2 + 4*b - 13. Let o be s(-6). Let w be (6*1)/((0 + o)*2). Let l = -5283/5 - -1053. Is w >= l?
True
Let r be (3/(-15) - 1)*-5. Suppose r*w - 14*w + 200 = 0. Suppose 0 = -10*o + w*o. Do o and -3/26 have different values?
True
Let i be 2/(-2) + (9 - (4 + -8)). Suppose 0*z + 48 = i*z. Let h be (12 - 16)*2/z. Which is smaller: h or 0.5?
h
Let m = -15533 + 15332. Is m >= -204?
True
Let l = 268389/17621 + -4401967141/323204382. Let z = 1/3057 - l. Which is greater: z or -2?
z
Let h = 0.4 - 0.2. Suppose -36*z = 46039 - 45535. Which is smaller: h or z?
z
Suppose 3*r = -2*w - 28, -76*r + 9*w = -80*r - 69. Is r equal to -1490?
False
Suppose 0 = -4*f - 5*o + 1848532, -4*f = -o - 327992 - 1520564. Let b = f + -2298513/5. Let u = 2427 - b. Which is bigger: -8 or u?
-8
Let u be (-1469)/(-210) + ((-650)/210 - -3). Is -9 <= u?
True
Let v(t) = -2*t**2 - 25*t + 23. Let c be v(-14). Let l = -1372 - -1355. Which is smaller: c or l?
c
Let p be (8/10)/(5/(-100)). Let y(k) = k**3 + 3*k**2 - 6*k + 5. Let r be 2*((-24)/(-6) - (-26)/(-4)). Let i be y(r). Do i and p have the same value?
False
Suppose 5*y = -3*i + 3227, 5*y - 7*i = -3*i + 3269. Is y not equal to 1295/2?
True
Suppose 31*v + 3679 + 6471 = -259*v. Let x = 3 - 33. Which is bigger: x or v?
x
Let j be 13/(-3) - (-1)/3. Let d be ((-51)/(-255))/(4 - (130/32)/1). Is j greater than or equal to d?
False
Let f(t) = -t**3 + 25*t**2 - 21*t - 76. Let u = 435 - 411. Let y be f(u). Let z = 17/11 - 19/11. Which is bigger: y or z?
z
Suppose 3*s - s - 310 = 0. Let n = -2802 + 2959. Is n bigger than s?
True
Let u = -40.8 + 290.8. Let k = -250.26 + u. Is -3/8 >= k?
False
Suppose 3*i + 21 = 2*c, 6*c - 4*c = -2*i - 4. Let y(d) = d - 2. Let g be y(c). Is g <= -5/63?
False
Let z = 21072 - 42145/2. Is z smaller than -10.91?
False
Let m(d) = 21*d**2 - 310*d + 148. Let u be m(36). Which is smaller: 16205 or u?
u
Suppose y - 2*i + 12 = 2*y, 3*i = 2*y - 31. Let g be -2 + y/(-2) - (24 - 25). Let x be -61 + 1 - 0*2/g. Which is smaller: x or -61?
-61
Let y = 22 + -14. Let n(x) = -x**2 - 69*x - 268. Let t be n(-65). Let h be (t + 114/12)*y/(-6). Is h equal to -15/8?
False
Let v be 8/14 - (-44)/(-126). Suppose -1 = -4*z + 219. Suppose -58*b - 48 = -z*b. Which is smaller: b or v?
b
Let k(b) = 4*b**2 - 15*b - 177. Let l be k(7). Are l and -74 equal?
False
Let d = 0.02182 + 0.07818. Which is smaller: d or -9790?
-9790
Let b be (-12)/36 + (-3886)/(-11640). Which is smaller: 0 or b?
0
Let x = -3062 - -2754. Is 0 <= x?
False
Let u be 3/((-3)/4)*13/4. Let x be (-4 - u/4)*(-456)/(-42). Is -8 at most x?
False
Let f = -69 + 109. Let k be 6/(-10)*-3*(9 + -4). Let b be (-2)/(-2) + 52/12*k. Is f at most b?
True
Let t be -5 - (((-1165)/(-1159) - -6) + -12). Which is bigger: t or -1?
t
Let i be ((6 + -8)*-2 - -100)*10. Which is bigger: 1039 or i?
i
Let p be 9/66*(-77)/(-42). Which is bigger: p or 1902?
1902
Let k(p) = 57*p + 5356. Let j be k(-94). Which is smaller: j or -145/81?
j
Let o = 1.797 - 1.77. Let t = -0.173 - o. Which is bigger: -1/27 or t?
-1/27
Let p(a) = 6*a - 12. Let i be p(4). Let k = -325 + 339. Is i less than or equal to k?
True
Let g(b) = -6*b**2 - 30*b + 1. Let f(d) = -d**2 - 6*d. Let n(v) = 11*f(v) - 2*g(v). Let q be n(0). Is -9 at most as big as q?
True
Let g = 1008 + -1008.0301. Which is greater: g or 0?
0
Let u be (7650/(-3815) - -2)*70/(-360)*-6. Which is greater: u or -1?
u
Let j = 8.12 + -4.36. Let y = 11.76 - j. Which is smaller: y or 9?
y
Let f(r) = -2*r**2 - 19*r - 8. Let p be f(-4). Suppose -1440 = -4*d - p*d. Which is greater: 43 or d?
43
Suppose 2*n + 1783 = v - 2*n, -2*v + n = -3531. Let p be (0 + 2/v)*(13 - 12). Is 1 smaller than p?
False
Let a = -298 + 84. Let f = a + 214.2. Is -77 at most as big as f?
True
Suppose -2*h - 14 = -4*p + 14, h + 24 = 4*p. Let a(t) = -t**3 - 20*t**2 - 36*t + 75. Let w be a(-17). Let m be 440/w - 2*2/(-9). Which is greater: m or h?
m
Let a = -20373 + 20369.42. Is a > 2?
False
Let k = -13.79 - -82.09. Let t = 23.3 - k. Are 1 and t equal?
False
Let p = -62 - -77. Let y be p/10 + 7/2. Suppose 7*l = 2 + y. Are -18 and l equal?
False
Let p = 139 + -77. Let m = 33 - p. Suppose 155 = -283*t + 278*t. Which is smaller: t or m?
t
Let h = -530 + 524. Let t(f) = f**2 + 16*f + 89. Let i be t(h). Which is bigger: 30 or i?
30
Let c(b) = -9*b**3 + 6*b**2 - 21*b + 105. Let v be c(6). Is v != -1750?
True
Suppose -479 = -8*l - 103. Let x = l - 37. Let y = -42 - -52. Is y equal to x?
True
Suppose 804*v = 815*v - 110. Is v less than 39/4?
False
Let d be ((-2)/4)/((-28)/1302). Let t = d - 611/28. Let u(l) = -l**2 + 67*l - 740. Let p be u(14). Which is greater: p or t?
p
Let s = -673 + 441. Let u = s - -229. Which is smaller: -38/13 or u?
u
Let i(m) = -m**2 + 5*m + 7. Let v be i(7). Let d be (-7)/((-294)/(-8880)) + (-2)/v. Let z = d - -634/3. Which is smaller: z or 1?
z
Suppose -8*p = -6*p - 2*c - 4, 3*c = 0. Let l be 3993/(-22) + (1 - (-1)/p). Which is smaller: l or -179?
l
Let b be (-4)/12 + -3 + (-1758)/(-9). Suppose 0 = -4*w - 4*y + b, -10*w + 7*w + 5*y + 160 = 0. Let j = 112 + -63. Is w smaller than j?
False
Let b(j) = 26*j**2 + 1. Let k be b(2). Let n = -42 - -47. Suppose 2*l - 203 = n*t, -l + 3*t + t = -100. Is l < k?
True
Let r be ((-908)/4)/((-3172)/(-28)) - -2. Is r not equal to 1?
True
Let n = 22 + -19. Let p be (-4)/(-8)*(2/1 - 0). Suppose -p + 3 = 5*m + s, -s + 2 = -n*m. Is m at least -1/2?
True
Let h = 8130 - 8161. Which is greater: h or -685/22?
h
Let p = -7016 - -28105/4. Are 11 and p nonequal?
True
Let l = -12.2 + 15. Let p = l - 0.8. Let o be (-7 - (-133)/21)/(4/30). Is p at least as big as o?
True
Let c = 0.3 - 0.4. Let q be 9 + 668/28 + (-6)/7. Suppose 0 = -45*g + 37*g - q. Is c equal to g?
False
Let d(z) = z**3 + 6*z**2 + 8. Let g be d(-6). Let f = -812 - -2413/3. Let a = f + g. Is a at least -0.2?
True
Suppose -18*w + 17 = -17*w - 2*x, -3*x - 30 = -2*w. Is w less than or equal to -10?
False
Let t be 2/((-4)/18 + 5/9). Let y(g) = g**3 - 7*g**2 + 19*g - 7. Let b be y(t). Which is greater: 73 or b?
73
Let f = 40111 + -40113. Which is greater: 3644 or f?
3644
Suppose 0*u = -u - 4, 2*x + 3*u - 762 = 0. Supp