). Does n = b?
False
Let l be (18/(-15))/(30/(-800))*(-2)/2. Let k be (-986)/30 + (-2)/(-3). Which is smaller: k or l?
k
Let c = -22 + 26. Let g = c - 0. Suppose q - 9 = -3*x + g*x, 0 = 4*q + 3*x - 8. Which is bigger: 19/4 or q?
q
Let l be (-13)/(-39) - 38/6. Let x be 36/42*(-2)/l. Is 194 smaller than x?
False
Let d be (-1)/(-2)*(-55)/(-22). Let y = -39 + 43. Suppose 3*h = y*s + 16, 2*h + 3*s = 4*s + 4. Which is smaller: d or h?
h
Let k = 186 + 546. Suppose -25*j = -21*j - k. Let v be 3/j*(-4)/2. Which is greater: 1 or v?
1
Let g = -7184 + 28733/4. Which is smaller: -326 or g?
-326
Suppose -22 = 44*x + 22. Let d(n) = -13*n - 13. Let s be d(x). Is 2/1045 at least s?
True
Let y be -1 - (-33 + 12 + -1 + 8). Let a = -5 + 14. Which is smaller: y or a?
a
Suppose -2*v + 5*s + 22 = 0, -3*s = 3*v - 31 + 40. Is 13 > v?
True
Let w(z) = 144*z - 245. Let i be w(-12). Is -1973 greater than i?
False
Suppose 1615*h - 36 = 1606*h. Which is smaller: 76/15 or h?
h
Let k(a) = -373*a - 7084. Let x be k(-19). Which is bigger: 1419 or x?
1419
Let b = 9405.9 - 9406. Which is smaller: b or -5/644?
b
Let k = -47 + 51.03. Let l = k + -3.33. Let o = -114 - -911/8. Is l smaller than o?
False
Let h = 0.46 - 5.46. Let x = -4.76 - h. Let z = x + 0.76. Is 8/9 at most as big as z?
True
Let j(g) = g. Let m(c) = -12*c + 16. Let d(v) = 3*j(v) + m(v). Let u be d(2). Which is bigger: -36/5 or u?
u
Suppose 20 = 6*m + 8. Suppose 0 = -13*l + m*l + 99. Suppose -l*u + 49 + 5 = 0. Which is smaller: u or 7?
u
Suppose -15*f - 3017 = -617. Is f less than -161?
False
Let y = 5636 + -5636. Which is bigger: y or 29.22?
29.22
Let z = -126 + 162. Suppose 21*h - 57 = -z. Is 1/340 less than or equal to h?
True
Let q = 2562 + 1030. Does 3592 = q?
True
Suppose -7 + 21 = -2*g + 2*x, -g - 5*x - 1 = 0. Let i = -12064/9 + 1335. Is i less than or equal to g?
False
Suppose 0 = -4*b - 94 - 366. Let l(i) = -116*i**2 + 62*i - 60. Let d be l(1). Let w = b - d. Is -3 > w?
False
Suppose 0 = -x - 5*h - 4130, x + 20650 = -4*x - 3*h. Do x and -4130 have the same value?
True
Let o be (-4)/62*64/(-96)*(1520 - 5). Is 66 < o?
False
Let t(j) = -5*j**2 - 7*j. Let d be t(-5). Let v be 80/(-20) - (6/7)/((-5)/350). Let f be v/d - (-12)/54. Do -4 and f have the same value?
False
Suppose -3*x - x + 2*q - 798 = 0, -5*x = -5*q + 1000. Let k = 319 + -520. Is k less than x?
True
Let l = 2/116571 + -44146/44835. Which is smaller: 0 or l?
l
Let s = -79/65 - 7186/195. Let j = s - -187/5. Is j != 36?
True
Let q = -2467 - -2466. Is q > 5/216?
False
Suppose -4*l = -3*h - 1630, -3*h + l - 1455 - 190 = 0. Let f = -496 - h. Do 54 and f have different values?
False
Let o(s) = s**3 + 11*s**2 - 24*s + 2. Let x be o(5). Let b = x - 551/2. Is b bigger than 6?
True
Let u be 8/88 - 438/(-22). Suppose 5*y + u = -2*z, -3*z + 8*z - 2*y = 8. Is -2/7 at least as big as z?
False
Let w(c) = 3*c**3 + 12*c**2 + 5*c - 6. Suppose -3 = 3*i + 2*k + 8, -i = 3*k + 6. Let o be w(i). Which is smaller: o or -10?
-10
Let u be (6/15)/(3/30). Let h(y) = 8*y - 16. Let l be h(u). Which is smaller: 18 or l?
l
Let d be -8 + 873/90 + -1. Is 2 < d?
False
Let r be (-90)/8 - -2 - 5/(-20). Let q be 10/8 - r/(-36). Let h = 0 - q. Which is bigger: -2 or h?
h
Let d be (-25 - -35) + (13 - (4 - 1)). Which is smaller: d or 311/15?
d
Suppose -2423 = -8*x - 2415. Which is greater: x or -4/1375?
x
Let l be (-5)/(-50)*-2*-35. Suppose -q + l*q - 6 = 0. Is q at most 1/26?
False
Let v = 2014 + -187300/93. Suppose -7*g = -4*g + 4*y - 1, -20 = -4*g + 4*y. Suppose g*b = -2*r + 14, -7*r + b = -6*r + 3. Is v >= r?
False
Let s(d) = d - 3. Let c be s(3). Let t = c - 0. Suppose t = -9*z + 4*z. Is z at least as big as -2/5?
True
Let i be (-66)/(14 + (11 - 23)). Is i < -725/22?
True
Let y = -25943/22 + 1178. Is y > -1?
False
Let d = -4619/1799 - 1/257. Suppose 5*h - u + 16 = -2*h, -2*u - 13 = -3. Is d at most as big as h?
False
Let d = -4 - -7. Let x = -20 + 26. Let w be (x/4)/((-23)/(-46)). Is d at least w?
True
Let o(p) = p**3 + 7*p**2 - 133*p + 50. Let r be o(12). Which is smaller: 3568/3 or r?
3568/3
Let t be ((-8)/(-10))/(8*6/120). Suppose -3*n - 4*n - t*n = 0. Which is smaller: -7/11 or n?
-7/11
Let h(f) = -13*f + 103. Let q be h(6). Suppose 0 = 3*m - 2*m + x - q, 3*x = 15. Is -2 < m?
True
Let b = 52 - 50.7. Let n = -25.7 - b. Let o = n + 26. Which is smaller: o or -0.2?
o
Let z be 1 + 20836/14 - 24/84. Let k = 335023/225 - z. Is k >= 1?
False
Let j = 3.62 + -0.72. Let z = 0.4 - -41.6. Let m = z - 42. Which is bigger: m or j?
j
Suppose -5*g = -18*m + 13*m + 31210, 5*m = -2*g + 31238. Which is bigger: 6247 or m?
6247
Suppose 4*o = -4*v - v + 285, 3*v + 9 = 0. Let y = -65 + o. Which is smaller: 43/4 or y?
y
Let c = 22.7 - 23. Let f = 0.7 - c. Let h = 0.1 - f. Which is bigger: 0.2 or h?
0.2
Let n = 101 - 102. Let r = 304 - 303.67. Which is smaller: n or r?
n
Let d = -12 + 12.47. Let s = 0.57 - d. Which is smaller: s or -57?
-57
Suppose -47*l - 267 = 15. Let w(k) = -k**3 + 3*k**2 - 2*k + 3. Let j be w(2). Let b be 10/12*-2*j. Which is bigger: l or b?
b
Let z = 44069/3 - 14690. Which is smaller: 207/100 or z?
z
Suppose 0 = 2*l + 59 - 89. Suppose 0*o = -l*o - 45. Which is smaller: 10 or o?
o
Let z = 584 + -1223. Is z >= -639?
True
Let d = 0.366 - 0.056. Let j = -10.69 - d. Let m be 1/(-9) + 1*6/(-27). Which is greater: j or m?
m
Let q = 39.1 + 5.1. Let v = 0.8 + q. Let z = v - 44. Which is smaller: -18 or z?
-18
Let q be 1/(36/423)*2/(-1). Let c = -1539 + 1516. Is c at most as big as q?
False
Let i = 0.76 - -0.24. Let r = 11384 + -1969431/173. Is r greater than i?
False
Suppose 355*g - 160*g + 1365 = 0. Is g bigger than -257?
True
Let y be (-98)/343*7/(-9). Let p = 1002 - 1004. Is p less than or equal to y?
True
Let t = 1.213 + 0.057. Let l = t + -2.47. Is l at most as big as -5?
False
Let g = 0.78 - 0.4. Let r = 0.08 - g. Suppose -3207*u + 6948 + 25122 = 0. Which is smaller: r or u?
r
Let k(c) = -c**3 + c**2 - 3*c - 15. Let w be k(0). Let v be 39/(6/(-2)) + 4. Is v greater than or equal to w?
True
Let j be (-3)/18 - ((-2017414)/(-84) - -18). Are -24035 and j equal?
True
Let f = -1.3 - -10.3. Let h = 0.3 - 3.15. Let u = -0.85 - h. Is u greater than f?
False
Let y = -0.59 - 14.61. Let u = 15.4 + y. Let f = 95 + -56. Which is smaller: f or u?
u
Let h = -452 + 155. Let t = h - -308. Which is bigger: 23/2 or t?
23/2
Let n be (10 - 7 - 3)/((-2)/(-1)). Suppose n = 71*y - 74*y + 90. Let s = -759/25 + y. Which is greater: s or 0?
0
Let c = -40.9 - -40.711. Let z = 11.189 + c. Which is greater: z or 0.2?
z
Suppose 8*q + 690 = -38. Let u = q - -89. Let i be u/55*5/10. Do i and 0 have the same value?
False
Suppose 0 = -6*l + 12893 - 13607. Is -116 greater than l?
True
Let s(q) = -2*q**3 + 4*q**2 - 3*q + 2. Let u be s(2). Let o = 56385 - 56399. Which is smaller: u or o?
o
Let z = 46035 + -1243117/27. Let h = z - -15145/2376. Is -1 >= h?
False
Let o = 5.4 + 42.6. Let w = 46.3 - o. Let q = -11.7 - w. Are -3/4 and q non-equal?
True
Suppose 5*x = -2*k + 64 + 54, -k + 85 = -4*x. Let o = 49 - k. Is o at most as big as -18?
True
Suppose 7*j + 3*t = 3*j + 98, -8 = 4*t. Let d = -15 + j. Is 14 at most as big as d?
False
Suppose 3*y = 5*h + 40, -249*y + 245*y = 4*h. Let r be 159/(-44) - 3/4. Which is greater: r or h?
r
Let j = -0.106 + 1.166. Let p = -0.4 + j. Let o = -0.8 + p. Which is bigger: o or 2?
2
Suppose -640 = 4*a - 7*a + 2*n, 4*a = 5*n + 865. Let d be 30/(-4)*(4 - a/54). Which is greater: d or 0?
0
Suppose 0 = -4*l + 2*u + 3280, 5929 = 5*l - 4*u + 1832. Suppose -453 = -13*n + l. Which is bigger: 1 or n?
n
Let m = -3748.9 - -2978.9. Is m not equal to -0.16?
True
Let f = -46.61 - 165.74. Let l = f + 212. Is 5 less than or equal to l?
False
Let o be (((-9)/3)/(-3))/(23/8201). Let l(p) = -11*p**2 - 7*p - 3. Let j be l(-6). Let t = j + o. Which is smaller: t or 1?
t
Let z be ((-119)/(-49) + -2)/(54/63). Which is greater: z or -89.99?
z
Let m = 12193/21 - 581. Let p = -47/42 + m. Is -2 at least p?
False
Let u be (14/10 - 4/10) + -2. Let s be (u/4)/(4 - 245/28). Let k(x) = -x**2 + 5*x + 6. Let n be k(6). Which is bigger: s or n?
s
Let q be 2501/11 + 240/(-660). Let i = q + -247. Which is bigger: -10 or i?
-10
Let f = -149130 + 3069244531/20581. Which is smaller: -1 or f?
-1
Let s be 108/10 + 8/(-10). Suppose -s