 -24*i + 82 + 566 = 0. Do i and 41 have the same value?
False
Let r(x) = -81*x + 42. Let c be r(2). Which is smaller: -121 or c?
-121
Suppose 4*h - 22 = -6, 5*h + 1582 = 3*l. Is l smaller than 535?
True
Suppose 2*x = -4*w + 180, 3*w + 4*x - 135 = 2*x. Let g be 444/10 + (-18)/w. Does g = 44?
True
Let o(n) = n**3 - 29*n**2 + 27*n + 67. Let y be o(28). Is y > 38?
True
Let c = -163 - -109. Let m be 12/c*(-12)/(-10). Is m >= 1?
False
Let k = -5 + 5.5. Let p = k - 0.4. Let m = 131 - 127. Is p bigger than m?
False
Let w be (2/2 + 1)/(-2). Let o(l) = l**2 + 2*l + 1. Let c be o(w). Let y = 6/95 + 243/665. Is y > c?
True
Suppose -4*z + 16 = 6*f - 3*f, -4*f = 0. Let u be z/(-6)*9/(-336). Is 0 at least u?
False
Let x = 1.05 + -0.61. Let f = -0.54 + x. Does 45 = f?
False
Suppose -37 + 14 = -u. Let z(n) be the third derivative of -n**6/5 + n**4/24 + 24*n**2. Let m be z(-1). Is u not equal to m?
False
Let u = 12015 - 6620268/551. Is u > -1?
True
Let j = -1243 + 1370. Is 128 less than or equal to j?
False
Let d(t) = t**2 + 23*t + 2. Let v be d(-22). Are -18 and v unequal?
True
Suppose 4*o - 42 + 14 = -4*c, -5*o + 31 = 3*c. Suppose 2*q = q - c*l - 27, -q = 3*l + 29. Is q >= -24?
True
Let r(f) = f**2 - 9*f - 1. Let m be r(9). Let q be m - (15/6)/(-5). Does q = 2/7?
False
Suppose -5*w + 0*w = 5*n - 20, 3*n = -2*w + 12. Let z be 2 + ((-15)/5 - w). Which is smaller: z or -25?
-25
Let z = 1.5312 + 0.4688. Let m = 3/40 + 57/40. Which is bigger: z or m?
z
Let y = 5 - 3. Let k(o) = o**3 - 4*o**2 + o - 4. Let w be k(4). Let b be (w + -1)*(-10)/(-20). Which is smaller: b or y?
b
Let f = 4 + -19/4. Suppose 0 = 7*j + 8*j + 30. Is j at most f?
True
Let v(z) = -2*z - 4. Let c be v(4). Let y be c/30*(-45)/(-51). Which is bigger: y or 0?
0
Let d be (-2128)/(-380) + 5/(25/2). Suppose -s = -k, -s + 0*k - 2 = -2*k. Suppose -s*q - 3*q + 25 = 0. Which is smaller: d or q?
q
Let n = 3.4 + -0.4. Let t be 142/5 - (-14)/(-35). Let a be (1 + (-20)/t)/1. Are n and a unequal?
True
Let a be 22 + -19 - (-1234706)/(-337948). Let r = a - 2/6499. Let y = r - -2/13. Which is smaller: 3 or y?
y
Let v be (-22)/(-8) - 10/(-40). Suppose 0*y = v*y + 30. Which is smaller: y or -11?
-11
Let m be 0/(3*4*(-2)/12). Is m at most -169?
False
Suppose 0 = -v + 21 - 20. Let m = v + 8. Let b be (-2)/(-6) + m/(-27). Which is smaller: b or -1/31?
-1/31
Suppose -230 + 1715 = 15*r. Is r > 99?
False
Let y be (-130)/(-60) + 2/(-12). Suppose 5 = 5*f - 0*f - y*k, 0 = -k. Suppose -2*m + 1 + 5 = -2*w, 0 = -5*w - 5*m + 25. Is w at least f?
True
Let g(b) = -4*b + 2. Let u be g(-1). Let c be -1*(-7)/((-21)/u). Let w = -1/494 - 4929/5434. Which is smaller: c or w?
c
Let c(n) = 3*n**2 + 3*n + 4. Let o be c(-6). Which is bigger: 95 or o?
95
Let n be 12 - (-108)/(-12) - 1623/15. Which is bigger: n or -106?
n
Let i be (-65)/(-55) + (3 + 0)/(-3). Do -64 and i have the same value?
False
Let l(k) = -7*k + 28. Let r be l(-8). Suppose -6 = -3*h, 8 = -4*n + 2*h - r. Which is smaller: -68/3 or n?
-68/3
Let l = 371 - 370. Let m be ((-8)/(-18))/(44/80). Let b = m + -4/11. Which is smaller: l or b?
b
Let b = -11 - -13. Suppose -b*v + 4 = -0*v. Does v = 10/9?
False
Suppose 3*i = -t + 7, 4*t = -5*i - 0*i + 21. Let k = -2.03 + 2. Let p = -10.03 - k. Is i less than or equal to p?
False
Let n be (3/(-2) + 0)/((-69)/(-966)). Let i = -10 - 11. Are i and n equal?
True
Let j = -22 - -16. Let i = j - -15. Let s = -0.2 + 0.2. Is i smaller than s?
False
Let a = -596 - -593. Which is greater: -55 or a?
a
Suppose v + 3 = 5*i, 1 + 0 = -v + 3*i. Suppose -5*u - 3*z - 208 = 0, 4*u - 3*z + 159 = v*z. Is u greater than -42?
True
Let g = 516 + -756. Are -239 and g non-equal?
True
Suppose -2*n + 2*g + 12 = 0, 0*g = -5*n + 4*g + 26. Let h be 4/(-40)*194 + n/5. Suppose -2*d = 4*b + 28, 0 = -5*b + 5 + 5. Is d less than or equal to h?
False
Let v be -8 - -1 - (-7 - -7). Let m = v - -12. Suppose 2*b - 3*o + 19 = 0, -4*b - 47 = m*o - 2*o. Are b and -11 non-equal?
False
Let l = 2395/92 + -13/46. Which is smaller: l or 25?
25
Let p = -14.73 + 14.83. Which is smaller: 3.14 or p?
p
Let x be 200/(-210) + (-4)/(-14). Let p be 2/(-5) - 3/(-15). Which is bigger: x or p?
p
Suppose 5*r - 21 + 6 = 0. Let t be (r/(-158))/(12/16). Let j = 148/395 - t. Are j and -0.2 unequal?
True
Let i(n) = 2*n - 23. Let m be i(11). Suppose -4*g - 4*f + 4 = 0, 4*f + 4 + 22 = 2*g. Are g and m equal?
False
Let b(x) = -x**3 - 13*x**2 - 2*x + 9. Let c be b(-13). Let m = -59 + c. Let p be m/(-28) + -1 - 0. Which is smaller: p or -1?
-1
Let u(l) = -l**3 + 6*l**2 - 8*l + 7. Let n be u(7). Is -96 equal to n?
False
Suppose -b + 4 = -4*l, 2*l + 3*l = 4*b + 6. Let m be (1/4)/(b/12). Suppose u = -0*u - c - 6, 0 = 5*c + 20. Are u and m nonequal?
True
Let p(q) = -q**3 - 6*q**2 + 9*q - 12. Let o be p(-6). Let x = -34 - o. Are 32 and x non-equal?
False
Let d(f) = f**2 + 61*f - 709. Let u be d(0). Do -710 and u have different values?
True
Let r be (-7)/147*3 - (-1686)/(-7). Which is greater: r or -243?
r
Let q = -0.58 + -3.02. Let a = 0.6 + q. Is a smaller than 8?
True
Let c = 244 - 237. Which is smaller: c or 20/3?
20/3
Suppose 4*a - 11 = 1. Suppose 4*r + 0 + 9 = -3*j, 0 = -a*j + 15. Let y(h) = -h - 8. Let g be y(r). Which is smaller: g or -3?
-3
Let q be -8 - (-231)/22 - 1/2. Are q and -12 unequal?
True
Suppose 7*t - 219 - 1832 = 0. Are t and 293 unequal?
False
Let b be 20002/(-924) - (-15)/90. Let s = 144/7 + b. Let r = -41/33 - s. Do r and -1 have the same value?
False
Suppose -470 = 21*r - 11*r. Is -375/8 greater than or equal to r?
True
Let j(c) = c**3 + c**2. Let f(a) = -3*a**3 + 4*a**2 - 2*a. Let s(n) = -f(n) - 2*j(n). Let d be s(6). Let q be ((-3)/(-2))/((-63)/d). Which is bigger: 0 or q?
0
Let s = 0.37 + 0.03. Is -39 >= s?
False
Let p be (3/6)/(2/(-416)). Let z be -3 + 5 + p/6. Let r = -44/3 - z. Is r >= -1?
True
Let h = 24/29 - 43/87. Which is greater: h or 0.92?
0.92
Let y = 30 - 29.913. Let h = -0.013 - y. Is h at most 0.4?
True
Suppose 19*m - 24*m + 9160 = 0. Is 1831 greater than or equal to m?
False
Let i(q) = -3*q - 15. Let b be i(-6). Which is smaller: -2/13 or b?
-2/13
Let n = 125 - 57. Let y = 55 - n. Let s = -0.1 - -0.1. Which is bigger: s or y?
s
Let l = 58.1 - 58.9. Let a = 2.2 - 2. Let g = a - 0.2. Is l at most as big as g?
True
Suppose 2*f = -4*n - 178, -2*n + 303 = -3*f + 20. Which is smaller: 14 or f?
f
Suppose -7*g + 3*g + 568 = 0. Let d be (-3)/(-5) - g/(-5). Which is greater: d or 28?
d
Let t be -1 - (-1 - (-40)/172). Let o = 37/344 + t. Which is smaller: o or 2/5?
o
Let g(s) = s**2 - 9*s + 12. Let r be g(8). Let h be -1 + (r/4)/1. Is h less than 2/85?
True
Let s = -5 - -3. Let l(y) = 2*y + 2. Let q be l(s). Let j be (-26)/12 - q/12. Is -7 >= j?
False
Let a(z) = -z - 3. Let p(t) = -t - 10. Let o be p(-5). Let c be a(o). Suppose c*h = -2*h. Is -2/55 greater than h?
False
Let g(x) = -x**3 + 19*x**2 - 12*x + 16. Let k be g(18). Suppose -n + k = 24. Let y be (-185)/n - 4/(-16). Which is smaller: y or 2/5?
y
Let n = -8 + 11. Let q be 4 + n*(-3 - -2). Which is smaller: q or -3/10?
-3/10
Let c(q) = -5*q + 225. Let p be c(53). Are p and -37 non-equal?
True
Suppose -14 = -4*l + n, 0 = -5*l + 2*n - 4*n + 11. Suppose 5*f + 3*u + 22 = -l, 4*f - 2 = 2*u. Is f at most as big as -7/4?
True
Let n be (18/12)/(-1*3/(-14)). Let l be (-12)/5 + 4/10. Let y = l + n. Which is bigger: 4 or y?
y
Let x(r) = -3*r + 20. Let d(a) = -19*a + 2. Let s be d(-2). Let v be 2/(-8) - (-410)/s. Let p be x(v). Is -10 < p?
False
Let j = -550 - -49499/90. Suppose 315*o - 320*o = 2*l - 6, -15 = 5*o - 5*l. Which is bigger: j or o?
o
Let y(a) = -80*a**3 - 4*a + 7*a**3 + 2*a**2 - 3 + 3*a. Let m be y(-1). Which is greater: m or 74?
74
Suppose 694 + 260 = 6*v. Which is smaller: 157 or v?
157
Suppose 3*m - 3*l - 335 - 295 = 0, 5*m - 1026 = -3*l. Suppose 0 = -8*i - i - m. Is i less than or equal to -24?
False
Let d be 4 - ((-1)/(-1) - 225). Let s be ((-4)/(-6))/((-8)/d). Is s != -19?
False
Suppose -3*w + 9 = 15. Let y be (28/22 + -1)*-5. Which is greater: y or w?
y
Let y be -2 + 4 - (33 + -1). Let x(l) = -l**3 + 31*l**2 - 4*l + 94. Let u be x(31). Is u less than y?
False
Let z = -116 + 78. Let d = -20 - z. Is d bigger than 1?
True
Let p = 6.2 - 6.14. Let m = 0.14 + p. Is m bigger than 25?
False
Let x = 11 - 8. Let d(l) = 11*l