least d?
True
Let z be 0*(-1)/2 + 0. Suppose -5*m + 5*c + 1 - 11 = 0, z = -2*m + 5*c - 10. Let v = -1331/18 + 74. Is m >= v?
False
Let k = 737 + -1571. Is k bigger than -1/3?
False
Let s = 7.82 + -7.82. Is s at least -92.4?
True
Let c = -0.193 - -0.433. Is 2/7 >= c?
True
Suppose 124*l - 2 = 122*l. Let o = 662965/143 - 66012/13. Let v = o + 442. Which is greater: v or l?
l
Let l(d) = 2*d + 2. Let h be l(-23). Let k = h - 27. Which is smaller: k or 2/7?
k
Suppose -3*u - u = 0. Suppose -2*a + u*a = -24. Let t be a/60 + 8/10. Is -1 bigger than t?
False
Let r = -3 - -2. Let k be 3 - (r + (-396)/8). Let c = -48 + k. Which is greater: 6 or c?
6
Let w = 1.04 + 13. Let o = 0.04 - w. Which is greater: -0.2 or o?
-0.2
Suppose -7*c - 177 = 52*c. Which is smaller: c or -12?
-12
Let m be 4/(-8) - (-9)/2. Let k be (m/6)/(28/(-378)). Let q be 8/(-15) - 3/k. Which is greater: -1 or q?
q
Let b = 1386 - 1385. Which is smaller: b or -15?
-15
Let d = 90.91 - 91. Let z = 0.01 - d. Which is smaller: z or -23?
-23
Suppose 5*b = 15*b + 130. Let o(h) = h**2 + 9*h + 30. Let g be o(b). Which is bigger: g or 81?
g
Let a = 70 + -70. Let q be ((-445)/20 - a) + (-2)/(-8). Which is smaller: -21 or q?
q
Let x(m) = -11*m**2 + 125*m + 12. Let t be x(12). Which is greater: -71 or t?
-71
Let f(b) = -b**2 + 6*b - 6. Let z be f(3). Suppose -z = y + 2*d, y - 2*d - 5 = -0. Which is smaller: 0 or y?
0
Let s be 396/60 - 3/5. Suppose 3*h = s*h + 309. Let o be h/(-12) - 3/(-4). Does o = 9?
False
Let j = -2236 + 3508. Let o = j - 114479/90. Which is greater: o or 0?
o
Let f = -3454/205 - -84/5. Let r be ((-3)/12)/1*0. Which is smaller: r or f?
f
Let g = 58315/7 + -676703/77. Let f = g - -458. Which is greater: f or 1?
1
Let t(z) = z**3 + 6*z**2 + 6*z - 7. Let c be t(-5). Let w be 15/33*c/(-40). Is 0 smaller than w?
True
Let o = 924 + -959. Which is smaller: o or -25?
o
Let a = 712 + -680. Is a < 39?
True
Let h = -2727/69293 - 3/521. Let x = 13/133 + h. Let s be (-1 + 0)/((-2)/(-2)). Which is bigger: s or x?
x
Let x = -0.237 - -10.337. Let t = x + 2.9. Let j = t + -9. Which is bigger: j or -0.1?
j
Let i = 101 + -171. Let z be 1 + (66/i)/1. Let b(t) = 2*t**2 - 11*t + 11. Let y be b(4). Which is bigger: z or y?
z
Let s = 720715 + -159998425/222. Let l = 3/74 - s. Let c = -4 - -2. Are l and c non-equal?
True
Suppose 0 = 5*s - 4*b + 1 - 2, b - 3 = -2*s. Which is smaller: 2/53 or s?
2/53
Let n be (-15)/10*4/(-6). Let c = -211164/77 + 8228/3. Let l = 2/231 + c. Which is greater: n or l?
n
Let j = 1304/21 + -188/3. Which is smaller: -38 or j?
-38
Let z be (((0/4)/(-2))/(-1))/(-1). Let g = z - 1. Suppose 6 = -3*t - y, -y - 4 = 2*t + y. Is t bigger than g?
False
Suppose 4*x + 20 = 0, -h - 4*h - x + 40 = 0. Suppose 4*m + 23 = h*m + 3*d, 4*m + 4*d - 12 = 0. Are m and 6 equal?
False
Let d = 1361 + -1310. Is d < 51?
False
Let g = -63.4 + 5.4. Let m = 58 + g. Which is greater: 59 or m?
59
Let l be (9/6)/(3/(-8)). Let x = 1682 + -1686. Is l less than or equal to x?
True
Suppose -5*r = 5*g - 2*g + 23, 5*g + 2*r = -13. Let v be (g - -33) + (-6 - -2). Let a be 80/v - 6/2. Is a greater than or equal to -1?
True
Let x = 51/5 + -163/15. Which is smaller: x or 95?
x
Let n be 12/(-10)*50/(-15). Suppose 6 = -n*z - 10. Let l(q) = -6*q - 27. Let a be l(-4). Which is bigger: a or z?
a
Let p be (6/(-198))/((-50)/45). Are 0 and p non-equal?
True
Let n = -612.8 - -613. Are n and -0.2 unequal?
True
Suppose -11*s - 57 = 75. Which is smaller: s or -65/6?
s
Let r = -72 - -78. Let q be -4 + r*8/12 - -16. Do 49/3 and q have different values?
True
Let m(v) = v - 1. Suppose 3*g - 27 = 3*r, -r + 17 - 2 = 5*g. Let a be m(g). Let x be a/((-537)/(-6) + 2). Is -1 greater than x?
False
Let q = 1152 + -1181. Let m(z) = -2*z**2 + 4*z + 1. Let f be m(-3). Does q = f?
True
Let q = 3 + -2. Let y be 5 + (2585/(-45))/11. Which is greater: y or q?
q
Let b = 0 + -17. Which is smaller: b or -15?
b
Suppose -t + 407 = 406. Do 1/141 and t have the same value?
False
Let o(j) = -j**3 - 21*j**2 + 22*j - 1. Let l be o(-22). Is -5 bigger than l?
False
Let v = -175 - -176. Which is bigger: v or -5/79?
v
Let n be (2 - (20/(-5) + 5))*-131. Is 0.1 != n?
True
Let a = -1 - -8. Suppose -5*z + 0*z + 10 = 0. Let k be z*(11/2 - (-3 - -5)). Is a >= k?
True
Let o be (-6)/(-15) + ((-3812)/80 - -3). Is o greater than -45?
True
Let x be 3746/(-13) - (-4)/26. Let o be ((-2)/10)/(16/x). Is 4 >= o?
True
Let v(c) = -c**2 - 10*c - 9. Let q be v(-9). Are 2/939 and q nonequal?
True
Let c(s) = -s**3 - 17*s**2 - 16*s. Let d be c(-16). Is -2/133 bigger than d?
False
Let z be (-1)/(-41)*(17 - 8). Which is greater: z or 1?
1
Suppose 10 = -4*k - 6*k. Is k at most -2/323?
True
Suppose -3*p - 1125 = -4*v, 3*p + 6*v = 11*v - 1128. Is p at least as big as -371?
True
Suppose 27 = -5*z + 32. Let t be -3 + z + 4 - (-164)/(-4). Are -37 and t nonequal?
True
Let h be (5 - (-170)/(-40))/33. Is 1 smaller than h?
False
Let f(u) = u**3 - 5*u**2 - 15*u - 2. Let k be f(7). Let q be (10/12)/((12/k)/2). Is q not equal to -1?
True
Let s(a) = a**2 - 29*a + 207. Let y be s(18). Which is greater: y or -11?
y
Let o be 4/(-14) - (-4)/14. Suppose 64*m + 32 = 48*m. Does o = m?
False
Let y be (-10)/(-4) + (-1)/2. Let u = y - 1. Let p be ((-1)/(-3))/(u/(-1)). Is p not equal to 0?
True
Suppose -6*q - 2*l = -q - 20, -l = 0. Suppose 2*i = q*i - 6. Suppose 16 = -x - i*x. Do -4 and x have the same value?
True
Let i = -10.4 + -14.6. Are i and 0.3 nonequal?
True
Let w be (((-1)/3)/(-1))/(1/(-6)). Let n be (w/(-24))/((5/(-15))/(-1)). Let s = 0 + 0. Which is smaller: s or n?
s
Suppose 2*m = 4*r + 2654, m - 2*r - 6627 = -4*m. Which is smaller: 1326 or m?
m
Let b = 3362.79 - 3396. Let f = b - -22.22. Let j = f - -11. Is j at least 2/3?
False
Let q(f) = -f - 17. Let r be q(-12). Let x = 4 + r. Let s be (2/x)/(10 + -40). Which is smaller: 0 or s?
0
Suppose 2 - 1 = w + 5*o, -1 = -w + 2*o. Let b(y) = -22*y - 10. Let x be b(5). Let d be x/135 + 4/6. Which is smaller: d or w?
d
Let v = -6 - -19. Let j = 12 - v. Suppose -3*g + 40 = -2*a, 2*a + 3*a = 3*g - 55. Is j > g?
False
Let k be (-28)/(-2) + (-12)/3. Let r be (3/(-6) + 1)*19. Is r less than k?
True
Suppose -4*y - 24 = -5*y. Let o = -24 + y. Suppose -7 = -o*i - i. Which is smaller: i or 23/4?
23/4
Let w = 3.1 + -3. Let n be (-2)/(-5) + (-44)/110. Suppose n = -3*a + 4*a + 3. Is a at most w?
True
Let v = 22/7 - 23/14. Let h(o) = 28*o + 255. Let r be h(-9). Is r bigger than v?
True
Suppose 0*g - 6 = -2*g. Suppose -g*j + 8 + 46 = 0. Let f be 2/4 - j/4. Is -2 < f?
False
Let k be 3 + 3 + -4 + 2. Suppose -3*x = 3*z + 12, 0 = k*x - 3*z - z - 16. Is x less than -2/53?
False
Suppose 5 + 4 = -3*p. Let u be (p/4)/(8/(-96)). Is 15/2 at least as big as u?
False
Let x be (2/(-3))/((-14)/42). Suppose 28 = 5*q + 3. Suppose 3 = q*c - 7. Do c and x have the same value?
True
Let m be -3 + 4 + (-7 - -1) + -1. Let n be ((-4)/(-6) - (-88)/m)*2. Which is greater: -29 or n?
n
Suppose 9*u = 27*u - 54. Which is bigger: u or 32/19?
u
Let t be (-37506)/47670 + 8/10. Which is greater: t or 1?
1
Let u = 36 + -31. Suppose -w + 6*w - u = 2*z, -z - 3*w = -3. Suppose z*x = 4*x. Which is smaller: x or 3/4?
x
Suppose 0 = -4*r + 8 + 4. Suppose 4*u - 15 - 11 = s, 0 = 3*u + s - 23. Suppose 5*o - j = 7, -u*j = -4*j - 9. Which is bigger: r or o?
r
Let c = -0.058 - 27.942. Let d = -25 - -55. Let v = d + c. Which is bigger: -7 or v?
v
Let v = -14 + -43. Which is greater: 2/3 or v?
2/3
Let l be 21 - (-2 - (-1 - 0)). Let u be ((-12)/(-9))/(((-8)/(-9))/2). Let a be 0 - (-2*9*1 - u). Is l bigger than a?
True
Let c be 4*(-9)/(-24)*(-8)/12. Which is greater: c or 1.03?
1.03
Let o = -0.55 + 31.55. Let c = -29 + o. Let f = 3.8 - c. Which is smaller: -1 or f?
-1
Let x(a) = -5*a + 6. Let s(y) = -y + 1. Let i(q) = -2*s(q) - x(q). Let b be i(2). Is 6 bigger than b?
False
Suppose -3*z - 46 = -6*z + 2*p, p = -3*z + 49. Let g be (52/z*2)/((-12)/4). Is -3 at most as big as g?
True
Let p = 259 + -580. Let i be (-8)/12 - p/468. Which is smaller: -1 or i?
-1
Let u(w) be the first derivative of w**3/3 - 15*w**2/2 - 33*w - 22. Let y be u(20). Do y and 66 have different values?
True
Suppose -3*i + q - 20 = -3, 0 = -4*i + 3*q - 31. Let w be i/6 + (-69)/(-9). Let o be 2 + w/((-14)/(-6)). Which is smaller: 6 or o?
o
Let m = 5.2 - 0.