es -1/14357 = l?
False
Let x = -51.8 - 232.2. Let u = -278 - x. Which is bigger: u or -0.7?
u
Let a = 3710.978 - 3718. Let r = a - -7. Let m = 1.022 + r. Which is greater: m or -43?
m
Suppose -19*n = -18*n + 245. Let f be (-49)/n + (-2)/(-10). Which is smaller: f or 0.12?
0.12
Suppose 0 = 24*d - 17*d - 84. Suppose -j - 4 = -8*k + d*k, -5*k + j + 4 = 0. Let b = -48/13 - -310/91. Which is smaller: k or b?
b
Let m be (-972)/(-4374) + 434/(-738). Is -8 equal to m?
False
Suppose 14*z - 7*z - 287 = 0. Suppose 0 = -z*u + 40*u - 57. Let d = 58 + u. Which is bigger: d or 6/53?
d
Let u be ((-1340)/55)/(-4)*-45. Let x = -277 - u. Is -4 less than or equal to x?
True
Let u = -9486543/30970 - -5820/19. Let b = 7231/386310 - u. Which is smaller: 0 or b?
0
Let s = -2299 - -2299. Let h = -3 + 2. Let w = h + s. Which is greater: -0.5 or w?
-0.5
Suppose -5*j = -5*q - 110, 34 = 2*j + 5*q + 4. Suppose -j*s = -17*s - 903. Which is bigger: s or 1/2?
s
Let i(o) = -12*o - 12. Let t be i(-1). Suppose t*j - n = 5*j + 4, 16 = -4*n. Which is greater: j or 13/27?
13/27
Suppose -4*y = k - 13, 5*k + y + 4*y = 20. Let a(z) = -180*z - 1. Let f be a(k). Is -181 greater than f?
False
Suppose m + 4*w - 26 = -4, 3*w = -2*m + 29. Suppose -g = -0*g - 6. Which is bigger: m or g?
m
Suppose 0 = -3*f + f + 6. Let u = 268 - 268. Suppose -f*b = 2*r + 18, 3*b + 12 + 0 = u. Which is greater: -1 or r?
-1
Let t(w) = -w**3 - 32*w**2 + 72*w + 98. Let y be t(-34). Suppose -4*u - p - 153 = 0, 37 - 223 = 5*u - 4*p. Is u at least y?
True
Let g(v) = v**2 - 4*v. Let p be g(6). Let k = -92 + 98. Suppose k*s + h = s + 64, 0 = -3*s + h + 32. Is p at most s?
True
Let d = 84.7 - 128. Let p = 77.3 + d. Which is bigger: p or -0.4?
p
Let h = 1695 - -5637. Do h and 7332 have different values?
False
Let o = 894 - 16980/19. Let b(f) = -f**2 - 27*f - 26. Suppose l - 36 + 62 = 0. Let g be b(l). Is o at least g?
True
Let f be -2*((-5 - -5) + 3/(-6)). Let z be -64 + 71 - (f - -3). Is z smaller than 4?
True
Suppose 5*y = 6 + 4. Suppose y*h + 0*h = 2. Suppose -2*t - 27 = h. Which is smaller: -16 or t?
-16
Let y be (9 + 1)/((-1)/2). Suppose 3*j + 40 = -4*f, 0 = -5*j + 44 - 4. Which is smaller: y or f?
y
Suppose 0 = -0*m - 5*m + 315. Let a = -1304 + 1305. Are m and a non-equal?
True
Let o = 0.08033 - -0.01967. Is o at least -0.3549?
True
Let w = 3518 - 4328. Is -810 greater than or equal to w?
True
Let s be (2420/200 + -12)*(-1 - 1). Are -15/43 and s non-equal?
True
Let j be (-3)/18 + (-35)/(-28)*-2. Let g = -9 - -8. Let h = -1.2 - g. Which is bigger: h or j?
h
Suppose 6 + 14 = 2*d + 14. Suppose 4*z = -0*z + 16. Is z less than d?
False
Let p(u) = u**3 - 2*u**2 - 5*u + 10. Suppose -2*g + 7*g - 75 = 0. Suppose g = 4*o + o. Let j be p(o). Which is greater: 3 or j?
j
Let o be (-10)/(-4)*36/(-45). Let h = 4 + o. Suppose -h = 4*y - 2*y. Which is greater: y or 4/37?
4/37
Suppose 13*j + 4*j - 68 = 0. Suppose -4*o - j*h = -0*h + 752, 2*o + h = -372. Is o less than -183?
True
Let t(u) = 2*u + 1 - 12*u - 3*u. Let z be t(0). Which is smaller: z or -2/343?
-2/343
Let x = -5.6 - -0.2. Let g = x - -6.4. Does 4/49 = g?
False
Let h(c) = -6*c**3 - 3*c - 3. Let r(s) = s**3 + s - 1. Let l(b) = h(b) + 5*r(b). Let z be l(0). Is z > -5?
False
Suppose 0 = -4*m + 327 - 231. Let q be 1 + 3*m/(-78). Is 1 less than q?
False
Let s(j) = -j**2 - 5*j - 3. Let d be s(-4). Let v = -876597/13 + 67431. Do d and v have different values?
True
Suppose -3*r - 2*i + 649 = -3*i, -12 = 3*i. Suppose 0 = 217*w - r*w. Are -1/277 and w equal?
False
Let d = 27006 + -566567/21. Is 26 > d?
False
Let b = -5827413/79 - -73766. Which is smaller: 1 or b?
1
Let t = 33 + -209. Let b = t + 111. Is 2 greater than or equal to b?
True
Suppose -9*i + 4*i = 5*v - 4595, 4*i + 1868 = 2*v. Let r = v + -922. Is r smaller than 55?
True
Let g = -2024/7 - -289. Let f be -8 + (0 + 2)/1. Let s be (1/(-3))/(f/(-18)). Which is smaller: g or s?
s
Let r = -13.116 - -12.126. Which is greater: r or -36?
r
Let r = -516 - 5256. Let x be -2*2*(-26)/r. Let o = 3 - 2. Are x and o non-equal?
True
Let s be 39/(6 - (4 + 1)). Let d be (-3 - s/(-12)) + (-102278)/(-580). Let i = d - 883/5. Which is greater: 1 or i?
1
Suppose -7*s = 8*s - 270. Suppose 2*x + 0*z - s = -2*z, -3*x - z + 29 = 0. Is x bigger than -1/7?
True
Let s(a) = 5*a - 430. Let h be s(0). Let l = 2162/5 + h. Let x = l + -271/115. Which is bigger: x or 1?
1
Suppose -51*v = -36*v - 1065. Let l = v + -73. Is l bigger than -7/3?
True
Let m be 3*(-3)/6 - ((-68991)/(-494))/(-87). Is m smaller than -1?
False
Let l = -3.3818 - -0.0818. Let t = 2.838 + l. Is 0 at most t?
False
Let i be (-60)/(-5)*(-8)/3. Let l be (3 - (-2 + (-164)/i))/1. Let q(o) = o. Let d be q(-1). Is d <= l?
True
Suppose 162 = 29*x - 30*x. Let l = 116 + x. Is l smaller than -3?
True
Suppose o - 3*k - 24 = 0, 19*k + 24 = -2*o + 16*k. Which is greater: o or 2/7265?
2/7265
Let m be 2/(-8) - (-1)/2. Let k = -124.07 + 123.97. Do m and k have different values?
True
Let m(s) = 72*s**3 + s - 2. Let l(z) = z**3 + 8*z**2 - 18*z + 21. Let f be l(-10). Let b be m(f). Suppose b - 185 = -3*i. Which is smaller: 0 or i?
0
Let b be 16150/(-55) - (2 + 0 + -8). Which is bigger: b or -287?
-287
Suppose -30*j + 33*j - 2*i + 5 = 0, 2*i - 12 = -4*j. Is -3/9071 at least as big as j?
False
Let h be 11/77 - ((-2847)/(-1309) - 2). Is h at least 0?
False
Let t = 6649985/309 + -21521. Let h = -1 + 1. Is t <= h?
True
Let g(l) = -l**3 - 2*l**2 + 5*l + 14. Let k be g(5). Let x = k + 120. Are x and -17 equal?
False
Let x(d) = -6*d + 39. Let u be x(11). Let o = -21 - u. Suppose -4*j + 4*i - 8 = 0, -4*i + 2 = -j - o. Which is greater: 1/2 or j?
1/2
Suppose -8*r = 42746 - 12090. Let a = 15577/4 + r. Which is bigger: a or 61?
a
Suppose -5*z + 307 = 4*y, 4*z + 17 = -3*y + 263. Let c = 90 - z. Which is bigger: 24 or c?
c
Let q = -1474.7 + 1363. Let y = q - -112. Is 15 greater than y?
True
Let d(m) = 16*m - 58. Let z be d(4). Let s be 105/(-18) + z + -8. Which is smaller: -9 or s?
-9
Suppose -15*f = -11*f + 56. Let i(j) = 3*j - 68. Let a be i(f). Which is smaller: -109 or a?
a
Let r(n) = -n**2 + 14*n + 39. Let x be r(-8). Let f = 119 + x. Let p be (f/6)/(-9)*(-54)/11. Do -1 and p have the same value?
False
Let m = -436742/145 + 3012. Suppose 5*p + 2*p = 63. Let a be 2/p - 22/18. Which is bigger: a or m?
m
Suppose -3*l - 20 = -5*t + 86, 2*l - 16 = -t. Let w be (-5)/(t/(-32)) + -2. Suppose -8 = 2*u - w. Which is smaller: 2/105 or u?
u
Let b = -501 + 505. Suppose 11*r = -b*i + 7*r - 340, 4*r - 452 = 5*i. Which is smaller: i or 0?
i
Let a(q) = 2*q - 12. Let c(x) = -x - 1. Let u(h) = a(h) + 6*c(h). Let v be u(-4). Let n be v - (0 - (1 - 0)). Is 6 less than or equal to n?
False
Suppose 14*m + 15*m + 66*m - 55005 = 0. Is 4058/7 < m?
False
Suppose 10113 = 9*z + 12669. Which is greater: -853/3 or z?
z
Suppose 0 = 3*d - 21*j + 17*j - 2460, 3*j - 2439 = -3*d. Are 0.1 and d non-equal?
True
Let u be (-12)/(-21) - 22/77. Let i = 0.84 - -1.56. Is u >= i?
False
Let j be 34357/5405 - 160/25. Let u(m) be the first derivative of -m**4/4 + m**3 - 2*m**2 + 3*m - 2. Let c be u(2). Which is smaller: j or c?
c
Let g be (14/188)/(-7)*20/(-35). Let d = g + -1996/3619. Let q be 3/((-9)/(-6)) - 3. Which is bigger: d or q?
d
Let b be ((-2)/1)/((-13)/(104/(-32)))*0. Does 9/188 = b?
False
Let g(d) = 4*d**2 - 4*d - 7. Let n be g(2). Suppose -2*r = -n - 7. Is 78/17 less than r?
False
Let f be (-12)/10 - (-7371)/(-945). Which is bigger: f or -135/14?
f
Suppose 0 = -82*v + 68*v. Which is smaller: v or 2/1707?
v
Let p be (-1749)/11*(0 - -1). Let a = p + 103. Are a and -56 nonequal?
False
Let a be (1 + 4)/((-4)/(-12)). Let t be (11/3)/(5/a). Let y be (2/5)/((-2)/(-40)). Which is bigger: y or t?
t
Suppose -136*x = -20*x + 35*x + 6644. Does -1398/31 = x?
False
Suppose 53*k = 59*k - 54. Let i be (-1)/(-3) + 28/6 - -4. Is k >= i?
True
Let q(c) = -45*c - 3396. Let r be q(-19). Which is bigger: -2539 or r?
-2539
Suppose 43 = 4*s - 5. Let d be (s + 52)*((-5)/(-2) - 2). Are d and 31 non-equal?
True
Let n = -27723 + 27622. Suppose 8 = -4*d, 3*z = -2*z - 4*d - 513. Is z equal to n?
True
Let r = -36 + 38. Suppose q = r*k + 118, -5*q = -k - 15 - 35. Is k != -60?
False
Let x be 4/(-17) + 2*(3 - 12/8). Which is bigger: x or -1?
x
Let y be (1/2)/(-8*3/(-336)). Sup