79/4. Let b = g - -232829/20. Let c = -3129 - b. Is -13 > c?
True
Let u = 1390 + -1335. Let t be 4/(-6)*10/((-40)/6). Is u less than or equal to t?
False
Let g be 1*(-1)/(1/(-54)). Let b(j) = 2*j - 39. Let n be b(22). Suppose -306 + 26 = -n*t. Which is smaller: t or g?
g
Let a = 3243 - 1745. Which is smaller: 1497 or a?
1497
Let z = -442 + 871. Let x = z - 438. Which is greater: x or -1/3?
-1/3
Let t = -6144814 + 380964949/62. Let r(i) = 5*i**2 + 7*i - 4. Let f be r(6). Let m = t + f. Which is smaller: m or 0?
m
Suppose 4*c - 18 = -5*c. Let d(n) = 68*n**2 - 18*n - 67*n**c + 18 - 4. Let i be d(19). Which is smaller: 32 or i?
32
Suppose 4*w - 5*d + 81 = 0, 0*w - 59 = 3*w - 2*d. Let s = w - -21. Suppose -7*c = -s*c. Which is smaller: c or 1?
c
Let q = -6.72865 - 0.17135. Which is smaller: -3/95 or q?
q
Let m(q) = 13*q**2 - 31*q + 22. Let y(s) = 7*s**2 - 15*s + 11. Let x(p) = 3*m(p) - 7*y(p). Let g be x(4). Let c = 175 + g. Is c <= 53?
True
Let a(f) = -243*f - 2585. Let d be a(-10). Which is smaller: d or -2030/13?
-2030/13
Suppose -3680 = -10*k - 6*k. Let b = 242 - k. Which is smaller: b or 1.1?
1.1
Let r = -6348 - -31713/5. Is 8 bigger than r?
True
Let f be 48/(-312) + (-1 - (-54978)/91). Which is bigger: f or 1207/2?
1207/2
Let l be (-2)/(-8) + 6 + (-520)/32. Let t = 91 + -88. Let m be -1 + 14/t*18/(-7). Is m less than or equal to l?
True
Let r(w) = -3797*w**3 + 17*w**2 + 8*w - 7. Let d be r(-1). Do d and 3799 have the same value?
True
Suppose o + 2*p - 11 = 0, -2*p - 14 = -4*o - 0*p. Let u be 9/(-9) + 120/9*(-8)/(-16). Which is greater: u or o?
u
Let u = -0.1379 - -0.0379. Which is smaller: u or -1427?
-1427
Let j = -4089 + 4080. Is 85 greater than j?
True
Suppose -50*u + u - 27*u - 102296 = 0. Which is smaller: u or -1/2?
u
Suppose 4*z = 11*z - 3906. Suppose -20*o - 622 = z. Is -57 less than or equal to o?
False
Suppose -35 + 25 = -2*r. Suppose 2*i + 3*i + 4*j = 26, -5*i = -r*j - 35. Which is smaller: i or 50/7?
i
Let k be (-12)/(-714)*(-44632)/16. Is -48 equal to k?
False
Let w = 30.5 - 27.5. Let x = w + -2.8. Which is smaller: x or 35?
x
Suppose 0 = -24*l + 86291 - 350867. Are l and -11025 nonequal?
True
Let g = -16307 - -16285. Let p(t) = -t**3 - t**2 - 2*t - 16. Let c be p(0). Is g bigger than c?
False
Let p = -8.44 - -9. Let w = p - 0.66. Let h = 1397/8 - 175. Is h at least w?
False
Suppose 4601 = -0*a + 17*a + 4958. Suppose 2*c + 17 + 23 = 0. Does c = a?
False
Let r = -8833 + 8656. Which is smaller: -181 or r?
-181
Let p(o) = 3*o**3 + 21*o**2 - 36*o + 2. Let h be p(8). Is h not equal to 2592?
True
Suppose -5*w - 3*t + 5*t + 71 = 0, -w - 3*t + 21 = 0. Let y be (w + -1)*22/77. Suppose 5*l = -4*f - 6, -2*f - 27*l = -23*l + 6. Is f at least y?
False
Let u(m) = -m - 7. Let t = -5 - -12. Let i be u(t). Suppose 9*d = 6*d - 3, 2*z = -5*d - 35. Which is smaller: z or i?
z
Let m be ((-264)/(-176))/((-2)/8). Let h = -1 - -4. Let r be h/6*m + 12. Does -1 = r?
False
Let f = -168 + 188. Suppose 144 = f*t - 36*t. Do t and -9 have the same value?
True
Let m(y) = 24*y - 4. Let p be m(1). Let s = p + -20. Suppose s = -5*z + z - 568. Do -142 and z have different values?
False
Let w = -127.2 + 113. Let g = w + 15.2. Let h = 2.92 + -3. Is g greater than h?
True
Let n be (-23 + 5 - -8)/(13 - 11). Is n < 7/30?
True
Let t = 0.17086 + 0.12914. Which is smaller: t or 1.242?
t
Let h be ((-311)/(-4 - (-31)/8))/(86 + -85). Is h at least 2489?
False
Let c = -28/31 + 1879/124. Is c bigger than -1.2?
True
Suppose 6*v - 350 = -8*v. Let h be (19 + -17)/((-23)/v - -1). Is 22 smaller than h?
True
Suppose k = -332 - 350. Let r be 174/957 - (514/k - -1). Which is bigger: -1 or r?
r
Let f = 23.9 + -26. Let w = -1.1 - f. Let s = 132 + -125. Is s at least as big as w?
True
Let k = -0.585 - 509.415. Let r = -511 - k. Is -0.33 at least r?
True
Let o = -107725 - -755519/7. Is o greater than or equal to -1?
True
Let k = -228251 + 467571/2. Is k bigger than 5534?
True
Let b = 2.0153 + -2.0053. Is 3 < b?
False
Let t = 64568 - 64613. Suppose -f = 27 + 10. Which is bigger: t or f?
f
Suppose 2*b = -5*k - 9, 4*k = 7*b - 12*b + 3. Suppose 4*y = 3*l - 9, 0 = -b*l + 2*y + 4 + 5. Let i be (-18)/24 - l/(-4). Is -43 at least as big as i?
False
Let h(y) = y**2 + 7*y + 6. Let k be h(-5). Let u(n) = -2*n. Let p(i) = 2*i - 1. Let b(x) = k*p(x) - 3*u(x). Let o be b(2). Is 1/48 < o?
False
Suppose 68*p + 14399 = 51*p. Is p greater than -846?
False
Let l be (-23 - -196) + -3 + 12. Is 2/5 equal to l?
False
Suppose 5*w - 790 = 3*k, 8*w - 5*w = -4*k - 1063. Let y = k + 418. Is y <= 305/2?
False
Let n be 3/(-6) - (21/2)/(-1). Let i be 4/n - (-418)/55. Let h be 11/28*-2 + i/16. Does h = 0?
False
Let c = 0.24 - 25.24. Let s = 2853.18 - 2828. Let u = s + c. Is 2/7 smaller than u?
False
Let c = 414 - 415.198. Let d = -0.198 - c. Which is smaller: -26/5 or d?
-26/5
Suppose g + 22*g - 391 = 0. Suppose -f - 5*s = -12, 4*f - 76 = s - 28. Is g equal to f?
False
Let p(b) = 128*b + 895. Let d be p(-7). Is d less than 27/311?
True
Let h be 1432/34 + (-15)/(-10). Let i = 87/2 - h. Let k = 0.01 + -3.01. Does i = k?
False
Suppose 0 = 2*v - 14 + 4. Suppose -7*a + 3*a = 2*w + 48, -v*w = 3*a + 36. Let r(q) = q**2 + 18*q + 21. Let m be r(a). Which is bigger: m or -50?
-50
Let x be 1 + 300/(-340) - (-1 + 127/68). Is -52 > x?
False
Let r = 101 + -86. Let m = 24.2 - r. Let z = 8.8 - m. Is -2 <= z?
True
Let y = 31 - 28. Suppose 5*j - 5*u - 80 = 0, 0*j + y*u - 64 = -4*j. Let i be (-4)/j + 148/16. Is i > 26/3?
True
Suppose -495091 = -64*z + 194765. Let v = z - 1541403/143. Which is smaller: v or 0?
v
Let b be 20*(-3)/(-75)*5. Let g be 1/(-18)*b + 11844/52569. Is g greater than or equal to 1?
False
Let q(o) be the first derivative of o**3/3 + 6*o**2 - 16*o + 37. Let w be q(-9). Is w != -44?
True
Let v be (-2)/(-168)*5812 + 1/(-3). Let c = v - 68. Is c greater than or equal to 0?
True
Let t(s) = -s**2 - 9*s + 4. Let q(p) = -3*p**2 - 10*p + 9. Let c be q(-8). Let z = c - -94. Let l be t(z). Which is bigger: l or 3?
l
Let o be (2 - 8/5)/(-10 + 1 + 13). Is -116 > o?
False
Let m(p) = -13*p - 31. Let z be m(-15). Suppose -2*n = -6*n - z. Let l = 44 + n. Is 0 greater than l?
False
Let z = 46.0571 - 48.013. Let t = z - 0.0441. Which is bigger: t or -8?
t
Suppose 13 = -w + 14*u - 17*u, 3*w = 5*u - 67. Which is bigger: -347/18 or w?
w
Suppose -1036 = 3*h - y, -3*h + 3*y - 1045 + 19 = 0. Which is greater: -3810/11 or h?
-3810/11
Let r be 8 - 5 - 2/5*(-68810)/(-9142). Which is bigger: r or 1?
1
Let m = -5.1 - -7. Let n = 1129.6 + -645.7. Let j = -484 + n. Is m bigger than j?
True
Let y be ((-11)/(-17680)*12)/(1/43). Let d = y - 18/65. Which is smaller: d or 0?
0
Let d be (13/(260/90))/(2/4). Suppose f + 8 = 3*x, -8*f + d*f + 2 = x. Which is smaller: f or -6/167?
-6/167
Let l be -21*11/(-847)*(1 + 10/(-19)). Which is greater: l or 1?
1
Let i = 66.1 + 75.9. Let b = -142.23 + i. Do b and 13 have the same value?
False
Let v be 295/(-1225) + (-13)/(-65). Let b = -92 - -91. Which is bigger: b or v?
v
Let j = -15/10481 + 81007/41955443. Is -1 less than j?
True
Let w = 0.6 - -4.4. Let c = 11792 - 11839. Which is greater: w or c?
w
Let g = 0.39631 + -0.19631. Let v = -0.2 - -0.18. Is v <= g?
True
Suppose 159*q - 161*q = 140. Let u be 374/(-1309) + -4*(-2)/q. Which is greater: u or -33/2?
u
Let z be (45/(-195)*(-1)/3)/(16/(-4640)). Is z at least as big as -22?
False
Suppose 20*r + 60345 + 54495 = -0*r. Which is greater: -5741 or r?
-5741
Let q = 10382 + -9825. Which is bigger: 534 or q?
q
Let i = -111.57447 + 0.11447. Let w = 4.26 + i. Let a = w + 104. Which is smaller: a or 0.1?
a
Let f = 22/1009 + -4474060/7063. Which is greater: -632 or f?
-632
Let j = -85 - -74. Let o be ((-22)/121 + (-2)/j)/(-3). Suppose o = -8*m + 3*m + 4*p + 226, 4*p - 96 = -2*m. Is m at least as big as 46?
True
Let y be (-3)/(-18)*-2 + (-104464)/204. Let a = 513 + y. Which is bigger: 0 or a?
a
Let d = -148 - -95. Let k = d + 53. Let s be (-3 - k)/(99/36). Is 2/7 equal to s?
False
Let m = -1599.5 - -1524.17. Let n = m - -75. Let d = -0.23 - n. Which is greater: d or -0.01?
d
Let n(s) = s**2 + 8*s - 1. Let w = 10 - 18. Let o be n(w). Let h be 12/7*(1 + 435/(-470)). Which is smaller: h or o?
o
Let o be (64/(-288))/((-1)/9). Suppose 293 = o*i - 3*m + 38, -366 = -3*i - m. Is 1