- 952/j. Let c = -16 + q. Is c >= 4?
False
Let v be 92/115*(6/4 - -1). Suppose 5*f = 0, -5*f + v = j - 3*j. Let c = 59/195 + 2/65. Is j < c?
True
Let u = -24 - -51. Which is smaller: u or 183/7?
183/7
Let w(s) = -s**3 - 12*s**2 - 10*s + 16. Let m be w(-11). Let a be (1/(-1))/(m/4). Which is greater: a or 0?
0
Let c be ((-1819)/(-34))/((-2)/(-4)). Suppose -4*d - c = -r, -3*d - 86 = -r + 6*r. Is d at least as big as -28?
True
Let k(b) = b**2 + 5*b + 1. Let l be k(-5). Let h = -354 + 159. Let n = h - -195.17. Are l and n nonequal?
True
Let c be (-27)/126*6*(-8)/(-18). Is c greater than 0.18?
False
Let d = 70 + -353/5. Suppose u + 13 = -5*o, 6*u - 3*u = 2*o - 5. Let s be u/(-6)*-2 - 1. Are d and s equal?
False
Let r be (-27)/(-5) - ((-6)/(-15) + 0). Which is smaller: 57/13 or r?
57/13
Let u = -0.07 - -0.16. Let g = u + -7.09. Let n = 111.2 - 111. Is n at least as big as g?
True
Let w = -3448647/473 + 7291. Is w equal to -1?
False
Let v = 1001 + -990. Is 148/15 < v?
True
Let j = -43 + 48. Suppose -2*f + 9*f = j*f. Is 7/27 at least f?
True
Let u be 3 + (-154 - -5) + 0. Let o be u/(-6) + 10/(-30). Which is greater: o or 26?
26
Suppose 0 + 4 = -2*g. Suppose 0 = 2*h - 8, 38 = 4*j + 4*h - 6. Let x be j/(-6)*18/12. Which is bigger: g or x?
x
Suppose -15*x = -12*x - 12. Let b = x - 7. Let z = b - 4. Which is smaller: -11/2 or z?
z
Suppose l = 2*l + 346. Let i = -13841/40 - l. Which is smaller: 1 or i?
i
Let c = -27 - -30. Let k be (3 - 0)/c - -8. Suppose d - k = 19. Are d and 28 non-equal?
False
Suppose -3*m + 5 = -w, -m - 3*w + 15 = -6*w. Suppose m = 6*p - 9*p. Which is greater: 2/81 or p?
2/81
Let o(h) = h**2 - 32*h + 138. Let v be o(26). Does v = -182/11?
False
Let n = 35 - 31. Let f(s) = -s - 4. Let m be f(-8). Is n equal to m?
True
Let h be (-44)/(-77)*(86/(-28) - -3). Which is smaller: -2 or h?
-2
Suppose -185*c + 180*c + 30 = 0. Let t(x) = x**2 - 3*x - 5. Suppose 4*r - 40 = g + 3*g, 3*r + g = 10. Let y be t(r). Which is smaller: y or c?
y
Let s(g) = -g**3 - 9*g**2 + 9*g - 11. Let l be s(-10). Let h(w) = -12*w**3 + 2*w + 1. Let d be h(l). Suppose -d*c = -8*c. Is 4/7 at least c?
True
Let l be (-1843)/2037 + 1*-3. Is -3 >= l?
True
Let a be (339/1130)/(6/35). Suppose -4*p + 12 = -0*p. Which is smaller: a or p?
a
Suppose -2*c = 3*l - 93, -3*l = 4*c - 0*l - 183. Which is smaller: 48 or c?
c
Let k be (-3 + 15/(-20))/(111 + -3). Is 1 greater than or equal to k?
True
Suppose -987*b - 8 = -991*b. Is 17 >= b?
True
Let z(k) = 2*k**2 + 13*k + 9. Let g be z(-6). Let a be (-25)/7 - g/7. Let x be 0/(-4*a/(-8)). Which is bigger: x or 2?
2
Let p = 5318901/85 + -62576. Let m = 5/17 + p. Which is smaller: -7 or m?
-7
Let b = 3644 - 153067/42. Let i = 2/7 + b. Which is bigger: 0.4 or i?
0.4
Suppose 0 = -441*w + 417*w + 19152. Is 797 > w?
False
Let m be 2*(-666)/(-7)*(2 + 5). Let t = 75926/57 - m. Is t less than 1?
True
Let v be -3 + 3 - (-3 - -5). Let w be 0/(1 + 0/1). Let t = v - w. Which is smaller: t or -1?
t
Let y be ((-667)/124)/(2*(-12)/(-8)). Let w = y + 4/93. Is w > -3?
True
Let b = 23.013 + -0.013. Let c = 24 - b. Which is greater: 1/4 or c?
c
Let q = -8 - -13. Suppose -q*d = -9*d + 8. Suppose 3*o - 4 = o - 2*p, -o - 1 = 4*p. Which is bigger: o or d?
o
Let w be 7 + (2247/(-45) - (-7)/21). Does w = -43?
False
Let d = 502 - 204. Which is greater: 0.2 or d?
d
Let p be 4/(-22) - 33696/(-16896). Which is bigger: p or 1?
p
Let a(f) = f**2 + 4*f. Let u be a(-5). Suppose -4*i + 0*i + j + 117 = 0, 57 = 2*i + j. Suppose -2*t + 2*q + 6 = -8, 3*t - i = -u*q. Which is bigger: -0.1 or t?
t
Let g(m) be the third derivative of 7*m**4/24 + 17*m**3/6 + 403*m**2. Let j = 14 - 20. Let a be g(j). Are -24 and a unequal?
True
Let g = 216 + -261. Which is bigger: 6 or g?
6
Suppose -7*t - 158 = -417. Which is bigger: t or 2?
t
Suppose 167 = 3*g - 5*x, -4*g + 168 + 49 = -x. Let k = g + -379/7. Which is bigger: -1 or k?
k
Suppose 0 = 2*y + 3 - 9. Let v be 2/y - 4/3. Which is bigger: v or 0.02?
0.02
Let g = -13 - -5. Let j = g - 0. Let w = j - -9. Is 2/7 < w?
True
Let s = -433/30600 - -1/1224. Suppose 4*x + 7 = -c, -13*c + 18*c - 5*x - 15 = 0. Which is smaller: s or c?
s
Suppose -2*o + 4*v = -10, 3*o - 5 = v + 25. Do 0 and o have different values?
True
Let w = -934 - -948. Is 116/9 < w?
True
Let s be -2 + -2 + 1 - -3. Let d be 5/(-15) - (s + 0). Let q(p) = p**3 + 11*p**2 + 9*p - 7. Let w be q(-10). Which is smaller: d or w?
d
Let u = 2587/3210 - -60/107. Let t = u - 7/10. Suppose -2*d = -2*m + 4 - 2, 0 = -5*m + 10. Is d bigger than t?
True
Let t be (-1 + -1)/(2/(-26)). Let s be (-108)/(-26) - 4/t. Let w be (-4)/s*-4 + -3. Which is bigger: w or 1/15?
w
Suppose 1018 = 7*v + 192. Suppose 3*q - 111 = -g, 5*g - 591 = 6*q - 3*q. Is g < v?
True
Suppose 0 = -5*d + 623 + 1312. Is d not equal to 388?
True
Suppose 48*p - 3131 = 79*p. Is p < -101?
False
Let n = -419 + 420. Do n and 2/405 have the same value?
False
Suppose 0 = -4*g - 5*m - 153, -2*g + 72 = -4*g + 2*m. Let r = 34 + g. Let p be -2*1 - 2/2. Is r >= p?
True
Let m be (2/3 - 1)*21. Suppose 3*o - 24 = 7*o. Is m greater than or equal to o?
False
Let a = -47081/21 + 2242. Is a smaller than 2?
True
Let l be (795/106)/(-9*(-6)/(-1496)). Which is smaller: -209 or l?
-209
Let b = -66.8 - -66. Which is bigger: b or -29?
b
Suppose j = -c + 7, -7 = 2*j - 2*c - 1. Suppose -g - 4*a + 41 = 0, -69 = -4*g - j*a + 123. Is 49 less than g?
False
Suppose -5*d + 0 = -4*b + 5, d - b + 1 = 0. Suppose -13 = -0*q - 3*q - 4*u, 0 = -4*u + 4. Let j be (q/(-2))/(18/8). Is j greater than d?
True
Let p be (-60)/1*(-5980)/(-650). Is -553 at least p?
False
Let y be -42*3/(1*-9). Let u = 15 - y. Let g be 5*u*18/72. Which is smaller: g or 2/3?
2/3
Let x = -15 + 20. Suppose -x*t + 4*t = 0. Let u be (5 - t)*8/(-20). Is u greater than -3?
True
Let j(z) = -z + 17. Let d be j(14). Suppose -d*k = 3 - 12. Let s be k - (-1 + (-44)/(-16)). Which is smaller: 1 or s?
1
Let q = -15.3 - 61.7. Let g = 63.8 + q. Let t = g - -13. Which is smaller: t or 2?
t
Let j = 1 + 1. Let c be 4/(-3) + j/(-2). Suppose -7*y = -4*y + 6. Which is bigger: y or c?
y
Let o = -2/3027 - -9616/5391087. Which is greater: 1 or o?
1
Let l(i) = 3*i + 1. Let b be l(4). Let p = b + -5. Let x be 8/20*(-25)/p. Which is bigger: x or -1?
-1
Let m = 40 + -28. Let r(v) = 219*v - 2616. Let g be r(12). Is g > m?
False
Let j = -42.06 + -0.94. Which is smaller: j or 1?
j
Let z(y) = -4*y + 1. Let g be z(4). Let a(w) = 3*w - 37. Let m(h) = -20*h + 260. Let n(p) = -15*a(p) - 2*m(p). Let v be n(10). Is v greater than or equal to g?
True
Let z be (-2)/(-5) - 9713/(-33). Let o = z - 295. Which is smaller: -1 or o?
-1
Let r(q) = q**2 + 2. Let j be r(0). Suppose -2*a + 0*a + 10 = 4*u, -j*u + 4 = 0. Suppose 4*k - 12 = -2*x, 9*k - 10*k = -5*x - 3. Which is smaller: a or x?
x
Let g = 3.37 + -3.332. Which is bigger: g or -0.1?
g
Let s(p) = p**2 + p. Let l be s(1). Let d be (70/3)/2*l. Let i = d + -368/15. Which is smaller: -1 or i?
i
Suppose 6*u - 5*u = 0. Let l = u + -1. Which is greater: l or 0?
0
Suppose -5*f + 171 + 59 = 0. Let q be f/(-16) + (5 - 2). Suppose -2*z + 3 = 1. Which is smaller: q or z?
q
Suppose -2*m = -145 + 59. Let s = m + -43. Which is smaller: s or -3/7?
-3/7
Let k = 220 - 219. Let x(b) = b**3 + b**2 + 1. Let u be x(0). Let l be (2 - k/u)*0. Which is bigger: l or -1/14?
l
Let i be -3 + 4 - 6/2. Let m be i/10 - (-13)/(455/448). Is m at least 12?
True
Suppose 0 = 21809*n - 21808*n + 2. Are -42/79 and n nonequal?
True
Let z = 2 + -1.9. Let i = 0.38 - z. Let c = -0.48 + i. Which is smaller: c or -0.08?
c
Let k be (-92946)/(-816) - 2/(-16). Let r = -229/2 + k. Is r equal to -1?
False
Let c = -119 + 122. Suppose 4*l = 2*m + 58, 15 = c*l + 2*m - 11. Is 56/5 > l?
False
Let c be (-3)/(-10)*-8*2/(-3). Which is greater: -2 or c?
c
Let d(i) = -2*i. Let a(q) = q. Let u(k) = -6*a(k) - 2*d(k). Let j be u(-1). Suppose c + j = 3. Is 2/7 < c?
True
Let r = -131 - -1417/11. Let f = r - -107/44. Is f smaller than 2?
True
Let x be (-20)/3*(-648)/48. Suppose 4*o + 38 - x = 0. Is o greater than 16?
False
Let k = 4 - 4. Let q be (-6)/(-39) - 103021/312. Let p = q - -330. Which is smaller: p or k?
p
Let a = -78.94 - -77. Let q = -0.06 + a. Are 2 and q non-equal?
True
Let y(x) = x**2 + 10*x - 16. Let r be y(-12). Let i be 5/15*-3*r. Is -9