 u = 2*m. Is 2/9 at most p?
False
Suppose 5*x + 4*c + 5 = -c, 0 = x - 4*c + 1. Are x and -5/76 non-equal?
True
Let f = 439 + -441. Does -626 = f?
False
Let n = -3.564 + 0.564. Let g = 0.04 - -1.96. Is n not equal to g?
True
Let f(k) = k**3 - 7*k**2 + 23*k + 1. Let c be f(6). Which is smaller: 104 or c?
c
Let g(d) = 3*d**2 - 15*d - 2. Let f be g(7). Let p = -63 + f. Which is smaller: -24 or p?
-24
Let n = -1239 - -1296. Is n bigger than -1?
True
Let m = -767 + 766.9657. Which is greater: m or 1/3?
1/3
Let u = -0.0756 + -0.0244. Which is smaller: u or -0.198?
-0.198
Let q = -270.7 + 270.5. Which is smaller: q or -322?
-322
Let p be (3 - 2)*(-7 - -5). Let t be (-1)/3*(p - 4). Let y = 5 + -3. Is t > y?
False
Let q = -82.96 - -84. Let x = -1.24 + q. Is x bigger than 1.3?
False
Let a = 335 - 335. Which is greater: a or 1/968?
1/968
Let l = 5508 + -44123/8. Is l < -8?
False
Let c(u) = -13*u - 3. Let q be c(-2). Let l = 24 - q. Let s = 9/55 + 3/22. Which is bigger: s or l?
l
Let h = -1 - -3. Suppose h = w - 3. Suppose w*d - 3 = 2*d. Is 1 greater than or equal to d?
True
Let x = -93 - -158. Let z be 26/x + (103/5 - 2). Is 0 at least as big as z?
False
Let l(f) = 17*f - 35. Let c be l(4). Which is smaller: c or 36?
c
Let c = 1 + -1. Let f = 298.9 - 286. Let k = f + -13. Is c != k?
True
Let i = 2225/4 + -556. Let j = -723 + 41213/57. Is j at least as big as i?
False
Suppose 0 = -114*c + 117*c + 3. Which is smaller: c or -1/129?
c
Suppose 2*i - 35 + 3 = 0. Suppose 8*w - 7*w - 15 = 0. Which is bigger: w or i?
i
Suppose 5*k = -k - 20*k. Is k bigger than 16/17?
False
Let j be 2 + -1 + (2 - 4). Let w be (5 - 8)/(-15 + 0). Is w bigger than j?
True
Let h = 93 + -80. Let q = h + -33. Is 1 >= q?
True
Suppose 0 = 4*w - 3*w - 2. Suppose 2*a + 4*k = 4 - w, -5*k - 3 = 2*a. Let z be 11/a*(-1)/1. Is z at least as big as -2/13?
False
Let h = 1779 - 23147/13. Which is greater: h or -1?
-1
Let p = -51.73 + 52. Let m = -0.26 + p. Let j = 1.01 - m. Does j = -0.2?
False
Let f be 6/3 - 12/5. Let d(z) = z**2 + z + 4. Let m be d(0). Suppose m = 3*v + 1. Which is smaller: v or f?
f
Suppose -2*v = 3*c - 6, 0 = -c + 2*v - 7 + 1. Is c at least as big as 3/64?
False
Suppose 3*s - 108*g + 19 = -112*g, -5*s - 17 = 3*g. Is 3/460 at most s?
False
Let u(x) = 13*x + 110. Let o be u(-6). Which is smaller: 20 or o?
20
Let k(s) = -s + 1. Let i(o) = -44*o + 1. Let z be i(-1). Let h be (4/3)/(6/z). Let g be k(h). Which is smaller: -7 or g?
g
Let g = 3/607 - 11545/2428. Suppose 8 = -4*u - 2*p, -4*p + 20 = -3*u - 2*p. Which is bigger: u or g?
u
Suppose m - 1 = 2*m. Let g = -34 - -34. Is g at least m?
True
Suppose -2*t - 5*d = -1, 5*t + 2*d - 19 = 6*d. Let v be 2 + -1 + (-30)/(-24). Which is smaller: t or v?
v
Suppose -c - 24 = -4*c. Suppose 8 = 9*d - 8*d. Let m be (d - -2) + (-1)/1. Which is smaller: c or m?
c
Let a = -290/7 + 235/7. Which is smaller: a or -9?
-9
Let o = -14.66 + 14. Let t = -0.56 - o. Is 0.031 >= t?
False
Let p(c) = -22 + 37 + 11*c - c**3 - 4*c**2 - 7*c**2 - 25. Let v be p(-12). Which is bigger: v or 12/11?
v
Let b = 561 + -212. Do 350 and b have different values?
True
Let s = 117 + -68. Let h = 49 - s. Is 4/29 at most as big as h?
False
Let g(a) = a + 9. Let j be g(0). Let x = -7 + j. Let f be (-18)/315 + 0/x. Which is smaller: f or -1?
-1
Suppose 0 = -r - 4*r + 1190. Let a = r + -2149/9. Which is smaller: 0 or a?
a
Suppose 0 = -s - 3*c - 5, s - 1 = 2*c - 3*c. Suppose -5 = -s*o - 49. Let l be (-2)/o + 16/(-88). Is 1 less than l?
False
Let f = 139 - 138. Let j be 7/42*6*f. Which is greater: j or 4/9?
j
Let o be ((-5)/(-3))/(10 + 599/(-60)). Which is bigger: o or 102?
102
Let l(f) = 3*f - 101. Let j be l(12). Which is bigger: j or -63?
-63
Let r(a) = -a**2 - 9*a - 8. Let o be r(-8). Suppose -5*i - 3*l = -0*l + 55, o = 4*i + l + 44. Let m = i - -8. Is 1 < m?
False
Let m(a) = -47*a + 129. Let o be m(10). Are o and -340 nonequal?
True
Let j = 853 + -14505/17. Let o = -1586/7 + 134712/595. Let d = j + o. Which is greater: 12 or d?
12
Let l = 11 + -21. Let z(m) = m**2 + 7*m - 11. Let c be z(l). Suppose 0 = b - 22 + 3. Is b bigger than c?
False
Let w = -330065/117 - -2821. Which is smaller: w or 0?
w
Suppose 11 = 4*r + 3*j, -4*j + 15 = 5*r - 0*j. Let f = -1 - r. Let i = -17/9 + 2. Which is bigger: i or f?
i
Suppose -83*r + 87*r = 1452. Which is greater: r or 361?
r
Let k = 33 - 27. Suppose -4*r - 2*m = -20, -5*r - 3*m + 14 = -k*m. Suppose 8*h + 2*u + 46 = r*h, 5*h = 3*u - 30. Which is smaller: -10 or h?
-10
Let y be 60/(-7) + (-12)/28. Let m(w) = 3*w + 13. Let l be m(y). Let f = -2 - -1. Which is greater: l or f?
f
Let s(q) = -6*q - 194. Let w be s(-17). Is w < -92?
False
Let o = -100 + 102. Let l be (-40)/(-22)*(o - 0 - 4). Is l less than or equal to -5?
False
Suppose 57 = -4*f - 3*v, -2*f + 27 = -5*f + 3*v. Is -14 less than or equal to f?
True
Let t = 1169 - 1168.9. Does t = -49?
False
Let s be (26 + -12)/((-2)/37). Are s and -256 equal?
False
Suppose 0 = -8*k - 0*k - 80. Let x be 34/10 + 6 + k. Let s(q) = q - 2. Let i be s(0). Which is smaller: i or x?
i
Let w be (-14)/(-4) + 3/6. Suppose n + 1 = -2*f, 0*f + 20 = 4*n - w*f. Is 12/5 bigger than n?
False
Let j = -201 + 292. Which is smaller: j or 0.02?
0.02
Suppose -2*f + 68 = -3*z, f + 4*z - 26 = 8. Suppose -j + 63 = f. Do j and 28 have different values?
True
Let z(q) = -6*q + 11. Let i be z(2). Let c be 9/(-18)*1/365. Let b = c + -1403/41610. Are i and b non-equal?
True
Suppose -17*t + 18*t + 48 = 0. Is t <= -46?
True
Suppose 2*q - 4 = -0, 0 = v - 5*q + 8. Let w(h) = -h**2 + 2*h**2 + 0*h - 3 + 5*h - 2*h**v. Let u be w(4). Which is greater: u or 2?
2
Suppose f + 2*f + 2*k + 14 = 0, -5*f - 5*k = 25. Do f and -4 have different values?
False
Let t(a) = -a**3 - 12*a**2 - 12*a - 5. Let k be t(-11). Suppose 5*s + 5*r = 70, 2*r + 24 = 5*s - 32. Let v be (2 + -1)*(-7 + s). Is v at most k?
True
Let b be (0 - -2)/((-6)/15). Let m be (4/(-12))/(b/(-4)). Suppose 0 = -4*y - 12, y + 2*y + 6 = -3*a. Is m > a?
False
Suppose 2 = 2*g + 3*d - 7*d, 4*g + 31 = d. Let z be ((-1)/g)/((-1)/(-9)). Which is bigger: -2/35 or z?
z
Suppose 6*k + 506 + 244 = 0. Is k greater than or equal to -125?
True
Let w = 39 - 42.8. Let m = 4 + w. Let g be (((-3)/99)/(-1))/((-4)/12). Which is smaller: m or g?
g
Let l = -1.47 - -0.07. Let a = -1.54 - l. Is a greater than or equal to 0?
False
Let y be 2/(-2*2)*2. Let c = 2 - y. Suppose -4*j - t + 2 = -2, 5*t = 0. Is c at most j?
False
Let p = -18 + -3. Let t = p - -11. Let v = -8 - t. Is 1 at most v?
True
Let h = 38 + -22. Let p be 14/(-20)*10*(-30)/(-525). Which is greater: p or h?
h
Suppose 0 = 3*x - 4*n - 266, -n + 0 = -1. Let v be 3/12 + x/24. Let b(t) = t**3 - 12*t**2 - 14*t + 19. Let w be b(13). Is w equal to v?
False
Let y be 4/(-18) - 47/(-9). Let a be (-4)/(-28) + 39/21. Suppose -2*w - 3*c + 18 = 0, a*c = -0*w + 2*w + 2. Is w greater than y?
False
Suppose 0 = -3*y - 5*a, 58*y = 62*y + a. Which is bigger: 45/32 or y?
45/32
Let r = -38 + 34. Let q be r/(-10) + 19/(-35). Is q > -1?
True
Let l be 687/6 + (-3)/(-6). Suppose 2*t - y - l = 0, -10 = 4*y - 6*y. Let h be 280/t*(1 + -4). Are -15 and h equal?
False
Let p be -15*((-8)/(-20) - 0). Let n(c) = -c**3 - 6*c**2 - 2. Let b be n(p). Is b != -6/7?
True
Suppose -3*o + 2*o = -27. Suppose -395*t - 1944 = -467*t. Is o != t?
False
Suppose 7*y - 12*y = -470. Let l = y - 18. Is l not equal to 75?
True
Let l = -137 - -144. Let b be 2/(-6)*-6*l/(-560). Is -1 bigger than b?
False
Suppose 2*a - 126 = -a. Let b be (21/a)/(2/4). Which is greater: 2/35 or b?
b
Let w = 19 + -39/2. Suppose 2*v + 7*m = 4*m + 12, 3*m = -4*v + 12. Is v < w?
False
Suppose -2*j - 16 = 2. Let l(f) = 11*f + 9. Let m(u) = -5*u - 4. Let w(x) = -2*l(x) - 5*m(x). Let h be w(-4). Which is smaller: j or h?
h
Let d(s) = -s**2 - 7*s. Let w be d(0). Suppose 0 = -2*u + 8, q + q - 3*u - 30 = w. Is q less than or equal to 20?
False
Let y be (-3 - (-22)/6) + 36/108. Which is smaller: y or -12/71?
-12/71
Let j be (-4)/6 - 34/(-6). Suppose -x - 2 = -3*d, -x + j = -2*x + 2*d. Let w = 1554 + -1566. Is x > w?
True
Suppose -6*f = 593 - 65. Is -89 equal to f?
False
Suppose -f + 5*k = 2*f - 7, 0 = 4*f - 5*k - 1. Let n be ((-6)/f)/((-25)/(-3)). Which is bigger: 1 or n?
1
Let f be (2 - (-3)/3) + 10. Suppose d + f + 2 = 0. Let m =