 - -0.1746. Which is greater: 1/16 or t?
t
Let r = -5250 - -5249. Which is smaller: r or -5886?
-5886
Let v(o) = -o - 12. Let h(b) = 2. Let r(j) = -34*h(j) - 6*v(j). Let l be r(0). Let n(k) = k - 4. Let y be n(l). Which is greater: y or 1?
1
Let m be (10/(-20))/(2/72). Let d be (0 - 2)/(m - -20). Let t be 2/7 + (-4)/210. Which is smaller: d or t?
d
Let l = 2766 + -3212. Is -444 equal to l?
False
Let q be (-81)/6*28/63. Is q equal to 23?
False
Suppose 0 = -4*r + 4*s + 764, -201 = -r - 0*r - 4*s. Suppose -46*i = -45*i + r. Which is smaller: -194 or i?
-194
Let b = 155.89 - -0.11. Let k = b + -175. Are k and 0.6 equal?
False
Suppose -12*s = -15*s + 9. Suppose 0 = 3*j + 15, -4*p - p - s*j = -15. Suppose -13 + 61 = -p*i. Which is bigger: i or -11?
i
Let r = 1216.9439 - 1217. Let g = 2.9439 - r. Is g greater than or equal to 113?
False
Let u = -119/78 + 1/39. Let w(x) = 11*x + 13. Let t be w(-1). Let j be t - ((-52)/(-7) - 5). Which is bigger: j or u?
j
Let f be 35 + (150/(-6))/5. Let h = 27 - f. Let j = -4.91 + -0.09. Which is bigger: j or h?
h
Suppose -2943 = -6*w + 2151. Let t = -849 + w. Is -5/128 greater than or equal to t?
False
Let x = 579.03 + -240.03. Which is smaller: x or 1/2?
1/2
Let w = 146 - 145. Let h be 7/((-10)/(-4) - 3). Let d be (1/(-27))/(h/(-21)). Which is smaller: d or w?
d
Let s = -4176 + 4177. Is s at least as big as 3/7?
True
Let j = -0.8307 + -124.2293. Let r = j + 125. Let k = 3 - 3.3. Which is greater: k or r?
r
Let i(l) = -l**3 + 8*l**2 + 9*l + 4. Let b be i(9). Suppose -y + 4*d = -16, b*y + y - 3*d = 12. Do -2/435 and y have different values?
True
Let l(t) = -t - 18. Let o be l(-14). Let f be o/3*48/32. Let x be (1 - 0) + (-11)/((-11)/f). Are -1 and x non-equal?
False
Suppose 10*n - 33888 = -16188. Does n = 1770?
True
Let o be 5 - 17/(153/(-609)). Which is smaller: 72 or o?
72
Let z = -9 + 11. Let w be 6 + (-1 + -1)*z. Let m = 2/45 + 166/315. Are w and m non-equal?
True
Let i = 2126 + -2125. Which is smaller: -2/5193 or i?
-2/5193
Let n be ((-64)/12)/((-2)/(-9)). Let r be ((-26)/56)/(((-9)/n)/3). Is 0.05 <= r?
False
Let q be (2 + 40/(-26))/(-16). Suppose -4*g - 18 = 2*i, 12*g - 17 = -3*i + 17*g. Are q and i unequal?
True
Suppose 422 = -42*a - 250. Let g be (8/a)/(((-5)/(-2))/5). Is g at least -0.048?
False
Let a = 451/2598 + -3/433. Suppose 0 = -0*b + 2*b - 104. Let o = b - 362/7. Are a and o nonequal?
True
Let v = -131.06 - -130. Let o = -8496 + 8497. Is v >= o?
False
Let c = 1/652 - 1311/4564. Let n = -1 - -0.3. Let j = 0.3 - n. Which is greater: j or c?
j
Let r be (-2)/(-8) - (27510/(-24))/7. Let s = r + -144. Which is greater: s or 19?
s
Suppose 0 = -5*r - 7*b + 5*b + 1107, 219 = r + b. Let a = r + -191. Are 36 and a equal?
False
Let s = 54 + -37. Let n be 0/(17/((-119)/14)). Do s and n have different values?
True
Let t = -103.739 - -104. Let a = t + -0.361. Which is smaller: a or 1/10?
a
Let o = 22434 - 36634720/1633. Are 1 and o non-equal?
True
Let z = -46 + 46.3. Let j = z - 1.3. Which is smaller: 2 or j?
j
Let o = 1669 - 2334. Is o greater than -665?
False
Suppose 211*i - 310 = 112. Are -44/15 and i equal?
False
Suppose -16*i - 264 = -22*i. Let f = 54 - i. Let n = 37 - f. Are n and 0.2 nonequal?
True
Suppose 2*t = -0*t. Suppose t = 4*k - 9*k + 10. Let y(z) = 2*z**2 - 9*z + 11. Let r be y(2). Which is bigger: k or r?
k
Let y = -25.56 - -25.51. Is y equal to 0.105?
False
Let b = -1.14 + 1.0701. Let z = b + -32.9301. Is z not equal to -5?
True
Let g = 32 - 30.632. Let h = -0.33 + g. Let m = h + -0.038. Which is bigger: m or 0?
m
Let h = 3575/4 + -874. Suppose 35*t - 180 = 26*t. Is t greater than h?
True
Let m(f) = 3*f - 9. Let h be m(5). Let a be (-99)/h*(-12)/(-63). Let l = 802 + -806. Is l < a?
True
Let l(o) = 4*o + 74. Suppose -s - 15 = -4*s. Suppose s*v - 20 = -2*f, 19 = -5*f + 4*v + 3. Let y be l(f). Is 74 bigger than y?
False
Suppose -3*j = 4*h + 4, -j + 3*h = 2*j - 24. Let v be (1/j*-10)/8. Suppose 3*d = -0*d - 3. Is v greater than or equal to d?
True
Let o = -30.77 + 31. Let g = 459.43 - 459. Let m = o - g. Which is greater: m or -3?
m
Let r(c) = -c + 24. Let t be r(10). Suppose -3*b + t = 2, -3*j + 68 = -b. Let s = 4 - j. Is s < -19?
True
Suppose -2*z - 6 = 3*o + 23, 3*o = -5*z - 41. Suppose y - 3*s = -2*s - 4, 0 = 2*s + 2. Which is greater: y or o?
y
Suppose 120 = 117*x - 114*x. Suppose -3*i = 17*i + x. Which is greater: -30/19 or i?
-30/19
Let b(d) = 2*d**2 - 29*d - 15. Let t be b(15). Let l be (3 - t) + (102/(-36) - -3). Which is smaller: l or 2?
2
Let m(w) = -8868*w**3 + 7*w**2 - 17*w + 15. Let d be m(1). Do -8862 and d have the same value?
False
Let l = 0.15808 + 37.24192. Which is smaller: l or 7?
7
Let i be ((-58)/10 + 7)/(4/(-40)). Is 5 at most i?
False
Suppose -3*k = -2*k + 3*d - 4, -3*k - 4*d = -32. Let b be ((10 + 2)/4)/(6/k). Which is greater: b or 17?
17
Let g be 64/704 - (-13)/(-22). Which is smaller: g or -3.5?
-3.5
Let z(i) = -10604*i - 363. Let c be z(1). Is c at most as big as -10968?
False
Let h(g) = 17*g**2 - g**2 - 10 - 19 + 7*g**2 + 28*g + g**3 + 4*g. Let v be h(-22). Are v and -249 equal?
True
Let m = 1288/17739 + -6022050767/940167. Let s = m - -6405. Is -1 at most as big as s?
True
Let w(s) be the second derivative of -s**5/20 + s**4 + 11*s**3/6 + 14*s**2 - 26*s. Let n be w(13). Suppose -n*g = -8*g. Which is smaller: g or 2/95?
g
Let s be (-1849017)/(-11094426) - 5/30. Let l = 147927099/291536861 + s. Let h = l - 14/43. Is h <= 1?
True
Let h = -611/5 - -341524/2795. Is h smaller than 0?
True
Let c = -4082 + 3242. Are -5878/7 and c equal?
False
Let v = -7.454 + 11.39. Let x = 0.064 + v. Let c = -41/4 - -10. Which is bigger: c or x?
x
Let b be ((-1)/2)/((-21)/(-42)). Which is smaller: b or -20?
-20
Let j = -22 - -23. Let v be (-1215)/1944 + 202/(-112). Is v smaller than j?
True
Suppose -399513 - 374062 = 97*s. Is -7975 < s?
False
Let c = -2446 + 1730. Let m = 718 + c. Which is smaller: m or -4/9?
-4/9
Suppose 0 = -4*v - 3*w - 1, 9*w - 14*w + 5 = 0. Which is smaller: -1.207 or v?
-1.207
Suppose -4*n + 7*n + 63 = 0. Suppose -96 = 5*k - 2*h, -4*k - 607*h + 610*h - 74 = 0. Which is smaller: n or k?
n
Suppose -x - 118 = -3*q + 2*q, -212 = -2*q - 4*x. Let l be (-1*q + -3)/(-3 - -4). Is l at most -116?
True
Let x = 2169/5 + -5640/13. Let d = -4 + 3. Which is smaller: x or d?
d
Let g = -2043 - -2043.04. Is g less than -1/108?
False
Let d(g) = -973*g**2 - g - 3. Let t be d(-2). Let p = t + 34871/9. Is 2/5 at most p?
False
Let w = -656/39 - -223/13. Do w and -30 have the same value?
False
Let n(a) = a - 9. Let b be n(12). Let v be (b/(66/(-530)))/((-138)/24). Let r = -48/11 + v. Does -1 = r?
False
Suppose 112*c = -191 - 257. Which is bigger: 119 or c?
119
Let c be 8/6 - (-170)/102. Suppose -c*n = -65 - 55. Which is smaller: 206/5 or n?
n
Let w(u) = -u**3 - u**2 + 3*u - 2. Let g be w(1). Let h be 2 - 604/(1 + 3). Let p = h + 14157/95. Which is bigger: g or p?
p
Let z = -0.0464 + -111.9536. Let h = 311 - 423.2. Let l = h - z. Which is greater: l or -24?
l
Suppose 44*t - 51*t + 98 = 0. Suppose -t*o = -6*o + 880. Which is greater: o or -109?
-109
Suppose 11*f + 5 = 12*f. Suppose -2*s - 4 - 2 = v, 3*v = f*s + 26. Suppose 5*x - 5*n + 50 = 0, -5*n = -4*x + v - 47. Is x smaller than -3?
True
Suppose -3*f = -0*f. Let d(t) = 5*t + 165. Let y be d(-21). Suppose 8*b - y = -4*b. Which is smaller: f or b?
f
Let j = -11 - -14. Suppose 10 = 3*n + 2*k - 4*k, 3*n - 15 = j*k. Which is smaller: 8 or n?
n
Suppose -3 = f - 16. Suppose -k - 4*x - f = 0, -x + 7 = -k - 1. Suppose 0 = -0*r - 3*r - 24. Is r < k?
False
Suppose -5*n = -s - 60, 2*n - 13 = 2*s + 11. Let u be (-5943)/147 + n/(-21). Do -119/3 and u have the same value?
False
Let o = 4823/26587 - -1/2417. Does o = -2/35?
False
Let r = -572 + 978. Let u = 405.5 - r. Is u greater than 0.07?
False
Let l(o) = 23*o - 759. Let g be l(33). Which is smaller: 4/871 or g?
g
Let t be -3 - (4/30 + -3). Suppose j = -16 + 18. Suppose 61 = 3*x + j*q, -x - 3*q - 2 = -2*x. Do x and t have different values?
True
Let j = 1938 + -1937. Is 3/266 bigger than j?
False
Let v be ((-4)/(-61))/(-3 - -1). Let j = -498 + 499. Which is bigger: v or j?
j
Suppose -338*i = -334*i - 8. Let y be 53/11 - (-2)/((-2)/i). Which is bigger: y or 3?
3
Suppose 15*r = 31*r + 16. Which is bigger: r 