 8*y**2 + 16*y + 4. Let t be (-3 - 11 - -12)/((-2)/(-3)). Let j be g(t). Which is bigger: j or -4/103?
j
Let q be 96/(-20)*280/(-276). Is q <= 4?
False
Let s(t) = 4 + 4*t + 4*t**2 + t**3 - 2*t**2 + 2*t - 4*t. Let a be s(-2). Let j be 144/(-63) + a + 1. Is -2 > j?
False
Let z = 44.86 + -42.86. Is z equal to 0.055?
False
Let b be -6 - 1 - (-32)/(-16). Let q be (b/15)/((-3)/10). Let w be (q/(-8))/((-5)/40). Is -0.07 not equal to w?
True
Let x(o) = -3*o**2 - 20 + 50 - 24 - 7*o + 0*o**2. Let c be x(-3). Which is greater: c or -8/11?
c
Let l = -51427 - -51195.19. Let v = -232 - l. Which is smaller: 0.1 or v?
v
Suppose -2*j + f + 13 = 0, 6*j + 2*f = j + 46. Suppose 0 = -j*w + 2 + 22. Let m be 13/(-2) + (-11)/(-22) - w. Which is smaller: -2 or m?
m
Suppose 0 = -56*l + 144*l - 265 - 175. Are -8 and l unequal?
True
Let f = -0.72 - -0.92. Which is smaller: -1332 or f?
-1332
Let p = -5659 - -5657. Is -4101 greater than p?
False
Let c(h) = -3*h**2 - 99*h - 177. Let a be c(-31). Is a < -28?
False
Let q = -341 - -351. Suppose 0 = 2*o - q*o - 408. Which is greater: o or -201/4?
-201/4
Suppose -24*b - 2 = -25*b. Suppose 410 = 5*w - b*c - 72, 3*c - 110 = -w. Suppose 0*x + 7*x = w. Which is bigger: 15 or x?
15
Let l(y) = 53*y**2 - 8*y - 19. Let a be l(-4). Suppose 0 = 5*w + 171 - a. Suppose -5*m - 5*o + 142 = -2*o, w = 5*m + 2*o. Is 28 greater than m?
True
Suppose 5*b - 86 = -56. Let t be b*(136/(-12) + 6). Suppose 0*v - 39 = g + 2*v, -2*v = -4*g - 116. Is g != t?
True
Let q = -73.112 - -0.112. Let d = q + 73.37. Let u = -0.09 + d. Are 0 and u nonequal?
True
Suppose 14*k + 6 = 8*k. Let w be 4/k + (-13464)/(-3360). Which is bigger: 1 or w?
1
Let n = -1458 + 1464. Let t be 17 + 1110/(-78) - (0 + n). Let v = 0.2 - 0.1. Which is greater: t or v?
v
Suppose 0 = -0*o - 5*o + 3*b - 163, -3*b = o + 29. Let m be -2 + 0*3/(-9). Let s be 786/(-24) + m/8. Is o at most as big as s?
False
Let b(g) = g**3 - 2*g**2 - 5*g. Let k be b(3). Let l be (k/5)/(2/(-5)). Are l and 17/7 nonequal?
True
Let t be 38347/(-65590) - (72/(-63))/4. Let n = t + -1/937. Which is smaller: n or -6?
-6
Suppose -8 = -4*x - 64. Let s(d) = -d + 14. Let m be s(x). Suppose -2*a + 72 = 12. Which is smaller: a or m?
m
Let i be (-1)/(-147)*((-11)/(-33) + -7)/(-4). Is i less than or equal to 1?
True
Let j be ((-33)/12)/(1/4). Let a = -7807 + 7794. Which is smaller: j or a?
a
Let n = -74.8 + 75.8. Suppose 3*r + 61 = -2*x, -3*x = -7*x + 16. Let z = r - -40. Which is greater: z or n?
z
Let w = -2 + 0. Let f = w + 1.98. Let q = 2.865 - 0.865. Which is smaller: f or q?
f
Let q be (1 - 2239) + (7 - (4 + 0)). Is -2234 < q?
False
Let q = -386937 + 52623093/136. Which is bigger: q or -2?
-2
Suppose 10*c = 7*c + 24. Suppose j = -a + 2*j + 3, -5*a - 2*j + c = 0. Let b be (-24)/(-150)*(-1 - (-7)/a). Which is bigger: b or -2.3?
b
Let i be -11 + (1266 + -18 - -3). Are 3724/3 and i equal?
False
Suppose -5*l - i + 27 - 23 = 0, -3 = 3*l + 6*i. Is -2/1553 <= l?
True
Suppose 4*k + 121 = 3*s, s - 3*k - 29 = 3. Suppose -4*c + 3*f - 5 = 0, -3*f + 44 = s. Do c and -28/11 have the same value?
False
Let a = -0.2229 + -0.5371. Which is bigger: a or 0?
0
Let w(v) = -5*v**3 + 31*v**2 - 2*v - 18. Let j be w(6). Suppose -10 = 5*q + m, 0 = 3*q - 0*m - m + 14. Which is greater: q or j?
j
Let r be (-4)/(-83)*2/(-92). Let p = 344342 - 344343. Is r < p?
False
Let x = -6953530 + 62656850/9. Let v = -8352 + x. Let y = 10 + v. Is y less than 2.3?
True
Suppose -4*b - 58 = -2*p, 5*b = -2*p - 29 + 105. Let u be ((-6)/24)/(2 - p/15). Do u and 1/4 have the same value?
False
Suppose 28 = 3*z + 7. Let g be z/4*(-8)/(-2). Suppose -5*m = -4*m - 2*o - g, -o - 7 = 3*m. Which is smaller: m or -9/13?
m
Let j = -24.621 + 23.54. Let i = 0.081 + j. Let w = 48 - 37. Is w at least i?
True
Let p = -2635/149831 - -14/771. Is p greater than or equal to 1?
False
Let b(s) = -7*s**2 + 113*s + 559. Let y be b(18). Which is bigger: 326 or y?
326
Suppose -12 = -3*w - 5*m, 0*m + 3 = m. Let q be 22/231 - ((-2)/(-2072))/(24/2144). Is q less than or equal to w?
False
Let m be 485/525 - (-6)/(-15). Let u be (-9)/(-8) - 1 - (-15)/8. Does m = u?
False
Suppose -7*q - 83 = 3*v - 8*q, 3*q = -5*v - 115. Let j = -3 - -2. Let s(x) = -26*x**2 - 1. Let h be s(j). Which is greater: h or v?
v
Let q = 5 + -3. Let n = -82 - -94. Suppose 3*j - 2*s - 11 = 0, -3*j + 5*j + s = n. Which is smaller: j or q?
q
Let w(a) = 74*a**2 - 2788*a - 23. Let v be w(40). Which is greater: 6856 or v?
v
Let z be (-4 + (-2556)/(-640))/((-10)/(-8)). Let x = -4 + 7. Suppose 2*l - 9 = -x*b, b = 3*l - b + 6. Is z equal to l?
False
Let g = 39.7 - 37.7. Let m = -29.3 + 152.3. Is g not equal to m?
True
Let q be -2*((-145)/18)/29. Which is smaller: -2/81 or q?
-2/81
Let t = -41877 - -40189. Which is greater: -18576/11 or t?
t
Suppose -927 + 5280 = 7*h - 2192. Is 930 at most h?
True
Let g(d) = -6*d**2 + 7*d + 31. Let b be g(8). Let m be b/99*(-2)/8. Let o be (-12)/(-7) - (-4)/14. Which is smaller: o or m?
m
Let j = 21 - 8. Let l(a) = a**2 - 15*a + 17. Let h be l(j). Let n be (-4)/(-17)*h/(-12). Is n equal to -1?
False
Let f = 119 + -104. Let t(u) = u**2 + u - 14. Let x be t(5). Which is smaller: x or f?
f
Let q(i) = -9*i**2 - 10*i + 105. Let r(o) = -7*o**2 - 9*o + 106. Let l(x) = 3*q(x) - 4*r(x). Let z be l(-14). Is z <= 7?
True
Let v = 2/753 - -6749/10542. Let o = -451/707 + v. Is 0 not equal to o?
True
Let v = 2/100431 - -14897231/1707327. Which is smaller: 10 or v?
v
Suppose 12*h = 4*s + 72, -14*h + 9*h + 37 = -4*s. Let k be 126/(-40) + (-1)/4. Which is bigger: s or k?
s
Suppose -10 = -3*p - 2*p. Let c(q) = -2*q**2 - p*q + 5 - 5 - 1 + 0*q**3 - q**3. Let b be c(-4). Which is smaller: b or -1?
-1
Let v be (2*(-6)/8)/(12/(-32)). Suppose -v*a + 64 + 36 = 0. Which is greater: 26 or a?
26
Let f = -122 - -122.01. Let i be 3/1*(124/(-28) - -4). Is i less than or equal to f?
True
Let z = -29 - -2. Let o = z - -20. Let l be 2/2 - (70/8)/o. Which is smaller: l or 3?
l
Let k(x) = x**3 + 9*x**2 + 13*x - 35. Let p be k(-13). Let a = -2600/3 - p. Is 14 smaller than a?
False
Let c(a) = -202*a + 65. Let k be c(3). Let v = 541 + k. Which is smaller: 1/767 or v?
v
Let h = -2371022155/166 - -14282770. Let p = h - -496. Is -1 less than p?
True
Let d be 2/7 + 5/7. Suppose 198 = 54*k - 18. Is d greater than or equal to k?
False
Suppose 0 = -2*w - 6*w - 6*w. Which is greater: w or -14/509?
w
Let j = -2509 + 837. Which is greater: j or -1?
-1
Let j = 17321/3 - 5774. Is -7283/3 at most as big as j?
True
Let s be (-12 + (-279)/(-22) - (-4)/(-22))*-1346. Is -656 at least s?
True
Let n = -631 - -420. Let m = 7809/37 + n. Which is smaller: m or -1/15?
-1/15
Let f = 35 + -34.66. Let q = 3.84 - 3.4. Let n = f - q. Which is greater: n or 0.06?
0.06
Let u = 31 - 31.012. Let g = -39.988 + u. Let y = g - -30. Is 1 equal to y?
False
Suppose -1048 + 103 = 5*o. Let x = o - -75. Let q = 135 + x. Which is bigger: q or 18?
q
Let f be -1 - (-4166)/(-2)*1. Let n = -60442/29 - f. Let c be (-6)/51 - 195/221. Which is bigger: n or c?
n
Let l = 13608 - 13607. Is l at most as big as -16/2931?
False
Let s be (192/(-12))/(-8) + (-14)/13. Let u = 10 - 10.01. Let z = u - 0.99. Which is smaller: s or z?
z
Let p be (-1)/8 - (-6)/(336/28343). Let j = p + -344. Is j at least as big as 161?
True
Let c = -1.216 - 0.044. Let k = c - -1.16. Is k greater than or equal to -3/5?
True
Let n = 168.8 - 191.8. Which is smaller: n or 1/34?
n
Let z = -8766 - -3632. Which is greater: -5135 or z?
z
Suppose 262*s = 209*s + 371. Which is smaller: s or 231/37?
231/37
Let n = -854579 + 9406861/11. Which is smaller: 591 or n?
n
Let p = 3497 - 3230. Which is greater: -0.1 or p?
p
Let n = 89/5 - 1963/10. Let x(q) = 3*q**2 - 120*q + 513. Let d be x(7). Which is smaller: d or n?
d
Let t(m) = -m**2 - 20*m + 6. Let q be t(-21). Let v be (q/115)/((-3)/(-21)). Are v and 0 equal?
False
Let f be ((-3)/4)/(45/(-120)). Suppose -5*h = -4 + 19. Let r be f + h/3*26. Is r smaller than -23?
True
Let b(s) = 2*s + 100. Let g be b(40). Which is bigger: 183 or g?
183
Suppose 15*m + 20979 = 96*m. Is 256 at least m?
False
Let d = 45 + -5. Let c = 38.2 + 0.8. Let r = d - c. Is -0.07 greater than r?
False
Let g = 3/12295 - -2016371/36885. Let k(c) = 15*c - 4. Let i be k(4). Is g bigger than i?
False
Let u(n) = n - 7