 to y?
False
Let i = 1160 - 669319/577. Which is smaller: 0 or i?
0
Let h = 2 - 3. Let d(k) = k**3 - 6*k**2 + 4*k - 5. Let p be d(6). Let r be p/(-7) - 12/(-4). Which is greater: h or r?
r
Suppose -4*j = 5*a + 43, j + 4*a = 3*j + 54. Let h be (9/j)/(15/(-10480)). Let n = -370 + h. Which is smaller: n or 0?
n
Let a(y) = 3*y**2 - 31*y - 20. Let i be a(11). Are 9 and i unequal?
True
Let c = 881 - 1703/2. Let k = 30 - c. Which is smaller: k or 1?
k
Let y be -4 + 9 - (1 - 0). Suppose -y*h + v + 3 = 0, -4*v + 29 = 5*h - 1. Which is smaller: -3 or h?
-3
Let j be (-3955)/14*3/9. Let l = 94 + j. Is l less than -1?
False
Suppose 0 = 3*u - 2*c - 20, 2*u - 2*c + 36 = 6*u. Suppose -u = 3*l + 4. Let m(r) = 2*r + 38. Let k be m(-18). Which is bigger: k or l?
k
Suppose 5*b - 2*v = -3 - 2, 0 = 2*b - 5*v + 23. Let d be ((-1)/(-2))/(-1)*-2. Let a = d - b. Do 1/7 and a have the same value?
False
Let f be 16/10*(-75)/(-6). Let j = -328 - -348. Is f at least j?
True
Let i = -11 - 26. Let t be ((-42)/(-38) - 0) + 222/(-2109). Which is smaller: t or i?
i
Suppose -2*d = 3*d - 4*j, -2*d - 7 = -3*j. Let q be 1*(-2)/(d - 2)*-4. Is 4 at most as big as q?
True
Let v = -10.9 + 34.9. Does 1 = v?
False
Let h = 0.4 + -0.23. Let s = h - 0.07. Which is greater: 2/11 or s?
2/11
Let v be 19/(-36) - ((-855)/(-76))/(-15). Suppose -1 = -l + 2*l - 2*f, -5*f + 7 = -l. Suppose -5 = -l*w - 2*w. Is v at least w?
False
Suppose -30 = 8*s + 7*s. Which is smaller: s or 10?
s
Let t = -29 - -41. Let h = -2 - t. Let w = -30 - -32. Is h bigger than w?
False
Let o = 44 + -40. Suppose o*d + 1 = 9. Let n be 2/(-9) + (-51)/(-108). Is d at most n?
False
Suppose 5*x = 39 + 36. Suppose -k = -5*o - 18 - 8, -3*o - x = 0. Are -1/4 and k unequal?
True
Let p = -4999.6 - -5000.6. Let z = 4 - 31/8. Which is greater: z or p?
p
Let c be (-8)/3*(-6)/20. Suppose -7*w = -3*w. Suppose -5*a + 0 + 10 = w. Does c = a?
False
Let d be 1*10/4*-4. Let m be 1455/(-194)*(-18)/(-15). Which is bigger: d or m?
m
Let y be 2/(-6) - 1035/(-27). Let t = -10 - y. Do t and -48 have the same value?
True
Let w = -5/57 - -169/627. Let q = -877 - -877. Which is greater: q or w?
w
Let s = -14 - -52. Let v = s + -35. Which is smaller: 7/3 or v?
7/3
Let a = -2.9 + 1.9. Let x = 8.2 - 0.2. Let n = x + -4. Which is greater: n or a?
n
Suppose 100 = -4*b - b. Let u be (-72)/b + (-2)/(-5). Suppose -u*z = -z. Which is smaller: z or 1/9?
z
Let p = 258 - 280. Is p < -19?
True
Let y(a) = -a**2 + 6*a - 2. Let t be y(7). Let w be ((-20)/6)/(2/t). Suppose w*l = 17*l. Which is greater: -5/12 or l?
l
Let r = -2.124 + 0.044. Let h = 0.08 + r. Do h and -4 have different values?
True
Let j be (1/(-8)*5)/1. Let c = -7/24 - j. Let b = 1/13 + 11/26. Are c and b unequal?
True
Let g be ((-1540)/(-8))/((-1)/(-2)). Let i = 4052721/10507 - 3/1501. Let t = i - g. Is t != 1?
True
Let u be (-8)/20*1770/(-8). Let i = -86 + u. Is i at most 2?
False
Let t = -5 + 5. Let p be (-36)/(-12) - -1*27. Let f be (4/p)/(20/(-6)). Is t > f?
True
Suppose 15 = -3*x, -p - x + 11 = -3*x. Let i be p/(-34)*14/9. Let q = i - 3/17. Which is greater: -1 or q?
q
Let c be 3/1 + (0 - 0). Let g be (-2)/4 + 1/2. Suppose -s + g*o - 12 = 4*o, c*s - 2*o + 8 = 0. Is s smaller than -1?
True
Let k(v) = -5*v**3 + 57*v**2 - 31*v + 87. Let r(h) = h**3 - 14*h**2 + 8*h - 22. Let m(p) = 2*k(p) + 9*r(p). Let o be m(-13). Which is greater: o or 61/4?
61/4
Suppose 3*v + 2*v = d - 28, 2*v - 7 = -d. Let l = 8.1 - 8. Is l greater than d?
False
Let v be 4/(-10)*(-120)/(-50376). Is 0 at least v?
True
Let s be ((-1)/(-9))/(2/6). Suppose d = 1 - 11. Let q = d + 9. Which is smaller: q or s?
q
Let i be 8/12 - 2/3. Suppose 0 = -i*w - w + 7. Suppose -3*c + 5*s + 2 + 6 = 0, -5*s - w = -2*c. Which is bigger: 2 or c?
2
Suppose 0 = 2*p - 2*o, 4*o - 4 + 0 = 0. Is p at most as big as 2/665?
False
Suppose -2*f - 4*c + 36 = 0, -3*f - 6*c = -c - 52. Suppose -5*o + 13 - 98 = 0. Let n = o + f. Which is greater: -4 or n?
n
Suppose -4*o + 10*o = -384. Let q = -63 - o. Let c be 1/(-3) + (-2)/6. Which is smaller: q or c?
c
Let s = 82469/3 + -12620335/459. Let p = s - -98/17. Which is smaller: 1 or p?
p
Let q(d) = -d**2 + 11*d - 12. Let s be q(10). Is s less than or equal to -12/7?
True
Let r = 11.7 + -11.6. Is r >= 2/25?
True
Suppose y - 4 - 27 = 4*x, x + 136 = 5*y. Which is smaller: y or 24?
24
Suppose 4 = -m - 5. Let d be (1/3)/(1/(-9)). Let p be -3*d/(-3) + -6. Is m less than or equal to p?
True
Let q be 2*2/4*4. Suppose -q*t + 3*y = 95, -12 = y + 3*y. Let p = t - -25. Is -4 at least as big as p?
False
Let w = -132/413 - -2/59. Do w and 20/9 have the same value?
False
Let m = -2825.14 - -2867. Let p = m + -42. Which is smaller: p or -1?
-1
Let t = -14783/12 - -1232. Let c be 3 + -2 - (-1 - -2). Do c and t have the same value?
False
Suppose -y + 4*b - 4 = 2*y, -5 = 4*y - 5*b. Let f(a) = 6*a - 7. Let q be f(3). Suppose -6*t = -q*t. Is y at least t?
True
Let d = -1163 - -1162. Let u be (-1)/(-3)*(-2)/(-6). Is u less than d?
False
Let u(r) = r + 15. Let p be u(-12). Suppose p*j + 4 = 31. Suppose 3*s = -0*s - j. Is s greater than -1?
False
Let q = -6442 - -51649/8. Do q and 13 have different values?
True
Suppose -28*a + 4069 = -15*a. Is 314 >= a?
True
Let p be 130/(-40) + (-9)/12. Which is smaller: p or -7/2?
p
Suppose v = -5*q - 3, 2*q - q - 1 = -v. Is v greater than 46/15?
False
Let z = 2 + -5. Suppose -15*a - 101 + 356 = 0. Let k be (1 + 0)/(a + -18). Is z greater than k?
False
Let v = 427 - 442. Does v = -19?
False
Suppose 3*b = 4*a - 1, a - 2*a - 21 = -5*b. Suppose -290 - 595 = b*v. Let r = v + 1941/11. Which is bigger: r or -1?
r
Let o = -0.42 + 11.92. Which is bigger: 0 or o?
o
Let k(n) = -n**3 + 7*n**2 - 4*n - 4. Let f be k(6). Let t(u) = u**3 - 9*u**2 + 7*u + 7. Let q be t(f). Let p = -5099/247 - -267/13. Which is greater: p or q?
p
Let y = 4 + -2. Let p = y - 2.1. Let h = 31/10 - 7/2. Are h and p nonequal?
True
Suppose -13*p = -3*b - 12*p + 43, -31 = -2*b + 3*p. Suppose -3*w = 1 - 49. Are b and w nonequal?
True
Suppose 3*k = 2*m - 1112, 5*m = -38*k + 36*k - 735. Is -371 greater than or equal to k?
False
Let i(n) = -12*n + 10. Let q be i(2). Let w = 10 + q. Let x be -1*(1 + -2 + 3). Is x greater than or equal to w?
True
Suppose -2*d - 17 = 5*v, 99*d - 101*d = -v - 13. Suppose -2*c = -4*c - 5*r - 65, 2*r = -2*c - 50. Let i be c/(-4)*1*-1. Is v bigger than i?
False
Let y be ((-56)/282)/(8/48*4). Which is greater: 1 or y?
1
Let t be (-3)/(6/(-4) + 3). Let n = t + -2. Let g(u) = -2*u - 7. Let x be g(n). Which is greater: 1/15 or x?
x
Let t be 1 + 57 + (4 - 8). Let p = 54 - t. Let u = -769/140 - -28/5. Which is greater: p or u?
u
Suppose c = 4*r - 4, 0 = -3*r + 3*c + 13 - 10. Does r = -8/321?
False
Suppose 20*m - 1296 = 16*m. Is 324 >= m?
True
Let c be (2*-1)/(3/9). Suppose -5*z - 2*z = 70. Let b be (-4)/z - 256/40. Is c <= b?
True
Let b = -0.0126 - 0.0874. Is b equal to 94?
False
Let q(c) = -c**3 - 3*c**2 - 4. Let z = -15 - -12. Let b be q(z). Is -5 at least b?
False
Suppose 25*h = 17*h + 40. Which is bigger: 26/5 or h?
26/5
Let f = 343 - 356. Let d = -15.8 + 3.1. Let m = f - d. Is -0.1 not equal to m?
True
Let r = 63.114 - 0.114. Let d = 63.1 - r. Which is smaller: d or -1/4?
-1/4
Suppose s - 17 = -2*i, 20 = 7*s - 3*s. Which is smaller: 54/11 or i?
54/11
Let a(w) = -w**2 - 11*w - 9. Suppose -2*z + 4*r - 42 = 0, 4*z + z + 45 = -5*r. Let g = z + 3. Let c be a(g). Is -1/5 at most c?
True
Suppose -4*m - 40 = 5*h, -2*m = 40*h - 45*h - 10. Is m at least as big as -17?
True
Let i be (16/(-940))/((-2)/(-5)). Which is smaller: i or -1?
-1
Suppose -102 = -25*j + 223. Suppose 50 = 5*x - 3*h, -2*x + 13 = h - 18. Is j less than x?
False
Let n = -214 - -337. Is 2/3 at most n?
True
Let b = 3.84 + 0.16. Let y = -3.92 + b. Let t = 0.28 - y. Is t equal to 2?
False
Suppose 0 = -m + 3, 5*x = -4*m + 7*m - 864. Is x smaller than -177?
False
Let o = 18 + -17. Let y(m) = -m - 6. Let c be y(-8). Suppose 2*f - c = 2. Which is smaller: f or o?
o
Let a be (1 - 4) + (2 - 2). Let r be (-7)/21 + (-115)/a. Let o be r/(-28) + (-24)/(-16). Which is bigger: o or 2/3?
2/3
Let h = -8.5 - -15.2. Let i = h - 6.9. Are -1/13 and i non-equal?
True
Let p = -2.5 - -16.5. Let o = -4 + -12. Let h = p + o. Is 0 > h?
True
Let m = 52 - 64. Let r be m*1*(-28)/(-16). Is r >= -4