)/((-34 - -37)*(-2)/234). Are l and 35 equal?
False
Let c(d) = 79 - 9*d - 40 + 0*d. Let l be c(8). Is -34 != l?
True
Let a be 30/20 - 94/4. Let t = a - -27. Suppose -t = -o - 18. Is o at least as big as -14?
True
Suppose 7*r - 2*r = -10. Let c be r/3*36/120. Is 1 smaller than c?
False
Let s be 0 - (-6 + 4 - 2). Suppose -3 + 15 = -s*a. Which is greater: a or -11/4?
-11/4
Suppose 4*b + b - 45 = 5*y, -4*b - 4*y = -28. Suppose x - n - 16 = 0, 2*n = -4*x + 55 + 33. Suppose 4 = -2*w + x. Is w less than or equal to b?
True
Suppose 16*c + 2065 - 145 = 0. Is c at least -116?
False
Let q be (40244/3)/(4/(-426)). Let g = q + 37150723/26. Let y = -212 + g. Which is smaller: y or 0?
y
Suppose 4*g = -g + 50. Suppose -5*y + 31 + 21 = 3*n, 2*y + 4*n - 18 = 0. Is g at least as big as y?
False
Let c(l) = -4*l - 43. Let f be c(-10). Let d(s) = -s**3 - 3*s**2 - 2*s - 7. Let o be d(f). Which is bigger: o or 5/4?
5/4
Suppose -312 = 10*h + 2*h. Let o = 99 + -126. Which is bigger: o or h?
h
Suppose -5*s + 25 = 2*k, -8*k = -5*s - 5*k. Is 7 equal to s?
False
Suppose -3*a - 169 = 2*s, 16*a - 19*a + 383 = -4*s. Is s <= -92?
True
Let i = -76 + 96. Let c be 1*i/2 + 0 + -3. Which is smaller: c or 29/4?
c
Let n be 17543/265*(2 - 1). Which is greater: 65 or n?
n
Let u = 34 + -58. Let x = 29 + u. Suppose t = -5*a - 23, -t - 3*t - x*a - 17 = 0. Is 12/17 at most as big as t?
True
Let o(z) = 7*z**2 + 3*z + 3. Let m be o(-2). Let s = -28 + m. Let q = s + -4. Which is greater: q or -9?
q
Let q = -43 + 114. Is q < 72?
True
Let y = -19 - -23. Suppose -g - y*h + 8 = 0, g - 6*g = 2*h + 14. Is g bigger than 1?
False
Let r(b) = -28*b**2 + 7*b - 6. Let y be r(1). Which is bigger: y or -38?
y
Let b(p) = p**3 - 5*p**2 + p - 1. Let g be b(5). Suppose -15 = 5*y - g*s, 0*y - s + 4 = -y. Let w be y/2 - (-10)/(-36). Is 0 greater than or equal to w?
False
Let a = -0.0446 + -10.9554. Which is smaller: a or -9?
a
Let j be ((-2)/5)/(1 + (35 - 24)). Let y be (-8)/(-50)*10/(-4). Which is smaller: j or y?
y
Let x = 4.86 + -4.46. Which is smaller: 0.05 or x?
0.05
Let c be 99/(-2160)*-65 + -3. Suppose 0 = q - 1, -3*o = -6*o - q + 13. Let h = -4 + o. Which is smaller: h or c?
c
Suppose c + 5 = 3*q - 13, -32 = 2*c - 5*q. Let p = 1 - 0. Let l be 4/4 - (4 + p). Is l bigger than c?
True
Let q be (-13864)/112 - (-6)/(-12). Is q at least -124?
False
Let f = -6705/13 - -516. Let x be 112/35*70/535. Let h = x - 2/107. Is h less than or equal to f?
False
Suppose 4*h - 2*d = 6 - 4, 3*h = -4*d + 29. Is 2/27 less than or equal to h?
True
Suppose 2*h - 3*x + 34 = h, 5*h - 2*x = -170. Is h > -33?
False
Let s(t) = 31*t + 4. Let n = -10 + 1. Let u be s(n). Let x be 105/u + 1/5. Which is bigger: 1 or x?
1
Let m = 2.9 + -3. Let o be (-4 + 11 + -9)/(-3). Is o less than m?
False
Let k = -1.2 - -1. Let d(t) = -22*t - 909. Let q be d(-41). Is q less than or equal to k?
True
Suppose -20 = -91*o + 86*o. Let l be 17/(-12) + 1 + o/(-16). Is l less than or equal to -7?
False
Let h(q) = 8*q + 65. Let k be h(-9). Let v be 1*(-4)/k - (-33 + 34). Let o be ((-4)/2)/2*1. Which is smaller: o or v?
o
Let p(i) = i**3 - 21*i**2 - 48*i + 52. Let o be p(23). Is o at least as big as 16/3?
True
Suppose 175*b - 179*b - 140 = 0. Is b at most -30?
True
Let m be (-4701)/11 + 72/198. Do -1/2 and m have the same value?
False
Let b be 12/(-4) - 212/32. Is b != -9?
True
Let c be -4 - (-4 + (4 - 4)). Suppose o = p + 8 - 0, 2*o + 3*p - 6 = c. Let z be ((-33)/(-9) - 3)*o. Are z and 0 non-equal?
True
Let p be 0/((-2 - -3)*2). Let w(g) = g**2 + g - 17. Let k be w(p). Which is smaller: -18 or k?
-18
Let u(r) be the second derivative of r**3/3 - 9*r**2/2 - 3*r. Let b be u(7). Suppose -3*o = o + 4*j, 5*o = j + 30. Is b at most o?
True
Let i = 19 + -11. Let b(x) = -x**2 - 8*x - 2. Let c be b(-7). Let t be (c/(-30))/((-2)/i). Is 0 > t?
False
Let f be ((-12)/(-64))/((-18)/(-56)). Let m be (-340)/(-204) + 2/(-12)*4. Is f at least as big as m?
False
Let k be (-1)/3 - (-14)/60. Let l(v) = 6*v**2 - v + 2. Let u be l(0). Which is smaller: k or u?
k
Let t(c) = -5*c**2 - 40*c - 7. Let y be t(-8). Suppose 5*o = 3*o - 14. Is y at most o?
True
Let f = -1195 + 1252. Is -7/5 at most as big as f?
True
Let a be ((-1)/2)/(1/66). Let u = -34 - a. Let x = -10964/21 - -522. Do x and u have the same value?
False
Let j = -1227098252/45201 - -352918/13. Let w = j + 16/183. Is w greater than or equal to -1?
True
Let q be -4 - ((-77)/9 - -5). Let p = -8 - -7.9. Is p <= q?
False
Suppose -5*s - 2*r + 59 = -r, 2*r + 26 = 2*s. Suppose 0 = 7*v - 5 + s. Let j = -139 - -1531/11. Is v < j?
True
Let j = -18.1 - -18. Let t = 9 + -6. Let v be (-28)/(-6) + (-2)/t. Which is smaller: j or v?
j
Let b = -14/27 - -626/999. Let o = b - 119/74. Are o and -2 unequal?
True
Let t = -512 + 10754/21. Let b = t + 11/7. Is b >= 2?
False
Let m(n) = -n**3 - 17*n**2 + 3*n + 21. Let s be m(-17). Are -28 and s equal?
False
Let h(k) = -4*k**3 + 7*k**2 + 8*k + 14. Let o be h(-5). Is 648 less than o?
True
Let y be (-124)/(-28) + 3/(-7). Let b = 9 + -6. Let t be (b - 51/18)*y. Is 1/4 greater than or equal to t?
False
Let u = -0.04 + 62.04. Is u at least -1?
True
Let u = 10.7 - 14.7. Let c = -11.01 - -0.01. Let w = c - u. Which is smaller: w or 1?
w
Let q(i) = 4*i + 4. Let g be q(-6). Suppose c - 5 = 19. Let v = g + c. Is 10/3 less than v?
True
Let i = 72 - 48. Let l be (i/3)/1 - (0 - 1). Is l smaller than 15/2?
False
Let y = 22 + -63. Let d = -40.91 - y. Which is greater: 0 or d?
d
Let f(s) = -1. Let o(j) be the second derivative of -j**3/3 + 3*j. Let u(n) = -5*f(n) + o(n). Let b be u(3). Which is bigger: 1 or b?
1
Let n(a) = 3*a + 9. Let f be n(10). Let l = -95/3 + f. Which is greater: l or 7?
l
Suppose 34*c + 285 = 37*c. Which is smaller: c or 97?
c
Let p = 659/112 - 15/112. Which is greater: p or 6?
6
Let z = -0.2 + 17.2. Let g = z + -16.89. Which is smaller: 1 or g?
g
Let x = -8178303/15308 + 1/3827. Are -535 and x non-equal?
True
Let w = 606.8 + -236.8. Is -0.1 greater than w?
False
Suppose -6 = 3*b + 4*a, 0 = 3*b - a + 2 + 4. Let k = -1 + -47. Let g be 34/(-8) + (-12)/k. Is g > b?
False
Let c = -2246 - -581715/259. Which is bigger: c or -0.1?
c
Suppose 258*t = 248*t - 610. Do t and -428/7 have different values?
True
Let k be (4/(-2))/(5/(-5)). Suppose -k = 4*c + 2. Let j = 4.3 + -2.3. Is c > j?
False
Let q = -1 - 1.3. Is 7 at most q?
False
Suppose -92*s + 63 = -29. Let b = 550 - 34652/63. Which is smaller: s or b?
b
Let t(s) = -s**2 - 6*s - 4. Let r be t(-5). Let i be r*(0 + 2) - -2. Suppose 3*g + 5*k + 42 = 2, -i*g = -4*k. Are g and -5 equal?
True
Suppose -5*g - 94 - 36 = 0. Let d = -27 - g. Which is greater: d or 3?
3
Let s = -47.49 + 48. Let x = 0.71 - s. Which is bigger: x or 1/6?
x
Let x(p) = 3*p - 3. Let l be x(2). Let y be 2 + (-7)/l + -1. Let j be (2 - 1)*(-5)/10. Is y less than or equal to j?
True
Let r = -0.4 - -1.4. Let z = -5.3 - 28.7. Let b = z - -28. Which is bigger: b or r?
r
Let u be (690/125)/6 + -1. Let i = -1 - -7. Let k be i/30 + 12/(-10). Which is smaller: k or u?
k
Let y be (-384)/54 + (-12)/(-2). Is y smaller than 0?
True
Suppose -8 = 14*y - 16*y. Let c be 374/(-308) - (-6)/y. Which is bigger: c or -0.053?
c
Let n = 134 - -63. Which is smaller: n or 196?
196
Let y be 12/8*(-8)/(-3). Suppose n = y*n. Let t be (-15)/8 - n/1. Which is greater: t or -3?
t
Suppose 5*u = -y + 37, 8 = -4*y + 8*y. Let v = -7 + u. Let p = 733/5 - 148. Which is smaller: p or v?
p
Suppose 5*k - 2 = 2*j, -3*j + 4*k + 7 = 3. Suppose 5 = -2*d - t, -j*t - 17 + 0 = 5*d. Is 2/45 equal to d?
False
Let v(y) = -y**2 + 22*y - 19. Suppose -z = -3*p - 36, 2*p + 2*p + 83 = 3*z. Let u be v(z). Let h be u + 10/25 - 4. Which is smaller: -1 or h?
h
Let g = 339 + -288. Are g and 60 equal?
False
Let s = 118/39 + -22/13. Let d(i) = -i**3 - 8*i**2 - 7*i + 4. Let y be d(-7). Suppose -y*w - 2*w = -12. Which is bigger: w or s?
w
Let w = -0.61 + 0.71. Is -116 at least as big as w?
False
Let s be (867*(-4 - -7))/((-76)/4). Let j = -137 - s. Which is smaller: 1 or j?
j
Suppose 7 = 2*f + 5*l - 18, 10 = f + 2*l. Let d(v) = -v**2 + 9*v + 4. Let w be d(7). Let u be (3/(-11))/(w/12). Which is greater: f or u?
f
Let a(f) = 3*f**2 + 34*f + 125. Let l be a(-7). Are l and -1/3 nonequal?
True
Let f = 32.994 + -33. Let m = 1.006 + f. Is 4 equal to m?
F