as big as u?
True
Let q = -248762 + 7214090/29. Suppose 2*r + 20 = -2*r. Let c = -4 - r. Which is greater: q or c?
c
Suppose -3*d - 19*y + 1429 = -21*y, -3*y - 2381 = -5*d. Which is greater: d or 3?
d
Suppose 4818 = -4*a - 2*d, -2109 = 5*a - 5*d + 3891. Which is smaller: a or -1201?
a
Let u = 39 - 39.051. Let v = u + 42.051. Let a = v - 41.83. Which is bigger: a or 0.1?
a
Suppose 0 = -10*s + 6*s - 764. Let r = s + 243. Are 51 and r unequal?
True
Let p = 50 - 58. Let f(r) = r + 17. Let k be f(p). Let g be k/66*(-8)/42. Which is smaller: -0.2 or g?
-0.2
Let j = -0.08 - 0.02. Let u be (1 - (-21)/(-27))*1*-237. Let p = u - -611/12. Which is greater: p or j?
j
Let c be -1 - -5 - 2992/(-1562). Is 7 < c?
False
Let a(f) = -f**2 - 107*f - 511. Let g be a(-102). Does -15/56 = g?
False
Suppose 2*l + 27 = 29. Let k = 61 - 120. Let j be (4 + k/15)*-3. Which is smaller: j or l?
j
Let g = -10317161/27 - -382117. Let p = 0.31 - 0.3. Which is bigger: p or g?
p
Let u = 102 - 3. Let l = -163 + u. Let i be ((-7)/(-2) + -5)*l. Which is smaller: 95 or i?
95
Let n = 125/213 - -89669/6177. Do 16 and n have the same value?
False
Suppose -13*t + 23*t = -1 - 9. Let p = 3424 - 2475554/723. Is t at least as big as p?
False
Suppose 0 = 7*s - 25 - 10. Suppose -2*t = -s*y + 5, -t + 6*t - 3 = -3*y. Suppose t = 13*l - 11*l + 18. Is l > -9?
False
Let y = 193 - 194.7. Let u = -1.6 + 1.53. Is y at most as big as u?
True
Let c = 163795/7 + -23517. Which is smaller: 0 or c?
c
Suppose 5*n = 20, 0 = o - 4*n - 0*n + 12. Let t = o - 5. Let c = -72.9 - -86.9. Is c at least as big as t?
True
Suppose 16*t + 12 = 18*t. Let k(d) = 19 - 1147*d + 1154*d + t. Let q be k(-16). Which is smaller: q or -88?
-88
Let b = 272 - -127. Let l be (-30)/100 - b/(-30). Which is smaller: 14 or l?
l
Let z be (-3)/(-6)*(-3 - 7) + 1. Let i(v) = 44*v + 175. Let w be i(z). Which is smaller: -3/269 or w?
w
Let b(l) = -27*l**2 - 13*l - 4. Let t be b(-1). Let v = -1 - -1.2. Is t not equal to v?
True
Suppose -4*w - 24 = -4*m, -4*w + 3 - 9 = 2*m. Let p be ((-65)/(-15) + -4)*m. Let b be (-1 + 5)/(-4) - 23/(-19). Which is smaller: p or b?
b
Let z = 0.1636 - 29.1736. Let u = z - 2.99. Is u equal to 6?
False
Let c = -191 + 265. Suppose 5*n + c = 69. Is -2/31 at most n?
False
Let d be 258/(-54) - -5 - 2923/(-9). Let h be d + -3*5/15. Let i = 3567/11 - h. Which is bigger: -1 or i?
i
Let s = -1242 - -1233. Let h(o) = -4*o**3 + o**2 + 4*o + 3. Let x be h(-2). Suppose 4*y + x = -n, 3*y + 3*n = 10 - 40. Which is smaller: y or s?
s
Let j = 5338 - 5143. Do 191 and j have the same value?
False
Let l be (-290)/4*(0 + 0 + 2). Let s = l - -1017/7. Let z = -834 - -837. Is z equal to s?
False
Let x = 147.6 - 147.7. Are x and 100.1 unequal?
True
Suppose 2*b + 0*b = -4*p + 16, 4*p = -3*b + 14. Suppose -3*v - 2 = -2*u + p, 2*v = -u. Is -0.61 > u?
False
Let s(y) = 28*y - 1895. Let q be s(67). Which is smaller: -36 or q?
-36
Let g(q) = q**3 - 10*q**2 + 12*q - 41. Let w be g(13). Is w bigger than 622?
False
Let o = -13 - -46. Suppose -p = 2 - o. Which is bigger: 34 or p?
34
Let o be 2/((6/(-12))/1). Let c be 0/(o + 15/3). Which is greater: 3/83 or c?
3/83
Let n = -74 + 76. Suppose 5*m = n*k - 46, 0 = -4*m + 2*k + 3*k - 47. Let s be (30/4)/3*m. Which is greater: s or -21?
s
Let f be (0 - 51) + (-6)/(-1). Let h be (-976)/24 - 4 - (-1)/(-3). Is h bigger than f?
False
Let c = -7386 - -10734. Is c <= -0.1?
False
Let y(l) = 7*l**2 - 5*l - 17. Let d be y(2). Is d equal to 45/119?
False
Let o be 32/6*(-13)/104*-12. Let l be (12/o)/(-1 + (-11)/4). Suppose 4 = 4*i - 4*f - 0, -3*f = 3. Is i smaller than l?
False
Let m be (290/4)/((-2)/(-9 - -405)). Does m = -14355?
True
Let r(d) be the third derivative of -17*d**6/30 + d**5/30 - d**4/8 - 2*d**3/3 + 20*d**2. Let f be r(-1). Suppose 67 = 2*g + f. Which is greater: -5 or g?
g
Let x = 2.6 - -1. Let l = 3.7 - x. Let w = -23 + 24. Which is greater: w or l?
w
Suppose 133*z - 132*z + 5*b = -1005, z + 1004 = -4*b. Which is greater: -995 or z?
-995
Let v be (288/14)/(9/((-189)/2)). Let n = -1725/8 - v. Let x = 53/56 - n. Which is smaller: x or 0?
0
Let o = -720 - -713. Is 8 at most as big as o?
False
Suppose o = -v + 6*o + 1, -4*o = -5*v + 5. Let a be (v + -2)/(4/12). Let u = -1059 - -9517/9. Which is smaller: a or u?
a
Suppose -5*c + 12 = -3*c + 2*v, v - 10 = -3*c. Suppose -c*z = 2 + 4, 85 = 5*d + 5*z. Let k be 0 - (-4 + 88/d). Do k and -50 have the same value?
False
Suppose 19*t + 8711 = -12*t. Let p = t + 302. Is 1 greater than p?
False
Let c = 9 + -8. Let g = 4 - c. Let m = 319 - 319.03. Which is bigger: m or g?
g
Suppose -32*q = 34*q - 78*q. Let h be (-3075)/12220 - 1/(-4). Is h at most q?
True
Suppose 22*u = -24 - 64. Is -168/37 >= u?
False
Let o = 54337/9 + -6034. Let m be (0 - 1)*(1 + -3). Which is greater: m or o?
o
Let p be (3/2)/(36/(-96)). Let y be (-3 - (p + -14)) + 1. Let s be y/28 - 24/(-7). Is 4 equal to s?
True
Suppose 0 = -10*r - 6*r + 24*r + 8024. Which is bigger: r or -1000?
-1000
Let x = -7 - -14. Suppose -33*t = -18*t - 585. Let d be 6/2*t/117. Which is greater: d or x?
x
Let o = -573.15 + 574. Let v = o - 46.85. Is 1/4 at least v?
True
Let g be 3 + (-525)/49 + 2/(-7). Let w be g/(-56) - 36/7. Let h be (0 - w - 4)/(1 - 0). Is -4/95 greater than h?
False
Let w(r) = -r**2 - 31*r - 86. Let d be w(-18). Let k = d + -133. Is 14 > k?
False
Let x(r) = 106*r + 64. Let w be x(-6). Which is smaller: 3 or w?
w
Let o(t) = -t**3 + 5*t**2 - t + 1. Let k = -30 + 36. Let j be o(k). Let v = -45 - j. Which is greater: v or -5?
v
Let q(o) = o**2 + 4*o - 11. Let n be q(-6). Let a = 32/233157 + -2921694847/32641980. Let l = a + 447/5. Is n at most as big as l?
False
Let c = -796 + 464. Let a = 296 + c. Is a greater than or equal to 0.3?
False
Let n = 4098/5 + -828. Let t = 398/45 + n. Let r = 55 + -55. Is t <= r?
False
Let k = 57 + -77. Let h = -27 - -46. Let d = k + h. Which is bigger: -23 or d?
d
Let j be ((-16)/6)/(850/(-75)). Suppose 36 = -0*m - 4*m. Let t(u) = u**2 + 8*u - 8. Let w be t(m). Which is bigger: j or w?
w
Let y be (-9)/24 + 0 + 10/((-240)/23751). Is y greater than or equal to -992?
True
Suppose 7 = -3*j - 8, 0 = -4*z - 5*j - 25. Suppose -s = -z*s - 76. Is 76 equal to s?
True
Let a = -1777 + 1916. Is 138 smaller than a?
True
Suppose 69*v - 10560 = -11*v. Which is greater: v or 161?
161
Suppose 0 = -4*k + 4*q + 36, -q - 41 = 4*k - 9*k. Suppose -k*m + 2*m = -54. Suppose -3*y - m = 12. Which is greater: -8 or y?
y
Suppose 3*h - 12*h = 0. Suppose h = 5*j + 2*j - 2*j. Let g = -16647/14 + 1190. Which is bigger: j or g?
g
Let k(p) = 2*p**3 - 35*p**2 - 43*p - 71. Let q be k(19). Which is smaller: q or 193?
193
Let w = -24 - -55. Suppose -w*n + 28*n + 111 = 0. Let q = n + -37. Which is bigger: -1 or q?
q
Let v = -871 + 624. Let n = 223 + v. Is -24 greater than or equal to n?
True
Let c = -44778 - -44777.9. Which is bigger: 2.703 or c?
2.703
Let m = 0.458 - 231.458. Let c = -125 - m. Which is bigger: c or -1/3?
c
Suppose 0 = 5*c, -9*k + 8*k - 4*c + 3 = 0. Suppose -10*n - k*n = -117. Is n at most as big as 2?
False
Let h be (-22)/44 - (-6)/8. Let w(c) = 14*c**2 - 729*c + 160. Let m be w(52). Do m and h have the same value?
False
Let h(f) = f**3 + 22*f**2 - 21*f + 54. Suppose 3*d = -3*t + d - 79, 0 = 2*t - 3*d + 31. Let m be h(t). Let x = 6534/973 + -20/139. Which is bigger: m or x?
m
Let z = -59540/207 - -2584/9. Let r = -62 + 62. Is z <= r?
True
Let p(w) = 501*w + 16032. Let j be p(-32). Is j greater than or equal to -35/384?
True
Suppose 0 = 19*g - 759 - 761. Let m(p) = -15*p**2 - 4*p - 3. Let o be m(-2). Let w = o + g. Is 24 <= w?
True
Let u be -11 - (1036/(-42) + 10). Is 3/28 less than or equal to u?
True
Let d be (16/(-18) - -3) + -6 + 3. Let x = 3696/23 - 167654/1035. Let c = d - x. Is c less than 0.4?
False
Let u(x) = x**2 - 2*x**2 + 58*x + 57*x + 21 - 107*x. Let p(a) = a + 4. Let r be p(6). Let q be u(r). Does q = -9?
False
Let x = -1/29936 + -2813933/1526736. Is -3 less than x?
True
Let p = -5.574 - -5.574. Let t = 3.6 - 4. Let d = -0.2 - t. Which is smaller: p or d?
p
Let l be -11 - (2238/(-111) + 10). Which is smaller: 0 or l?
l
Let h = -13455 - -13090. Which is greater: h or -361?
-361
Suppose 4*x = 588 + 208. Let y = x + -244. Let q(h) = 45*h - 1. Let v be q(-1). Is v >= y?
False
Suppose