*h - 12 = 0, 0 = -5*v + h - 0*h + 34. Are v and 5 equal?
False
Let n = 3 - 3. Let a be (n + 3)/(-3) + 2. Let j = -2/73 + -65/292. Do j and a have different values?
True
Let u = 1 + 12. Is 3/4 > u?
False
Let m = -25133/35 - -718. Let k = -2/35 + m. Is k <= -1?
False
Let f = 120 - 156. Which is smaller: -0.3 or f?
f
Let i(w) = -w**2 + 3*w + 8. Let n be i(5). Let a(c) = 2*c + 2. Let o be a(n). Which is smaller: o or 1?
o
Suppose 0 = 4*r - 14 + 18. Which is smaller: 1/85 or r?
r
Let k be 1 + 3 + 0 + -1. Let c = k - 5. Let g = 2 + c. Which is bigger: g or -1/3?
g
Let t(j) = j**3 - 14*j**2 + 11*j + 25. Let o be t(13). Which is bigger: 2/57 or o?
2/57
Suppose -4*l + 3*l = 5*z + 113, 0 = 4*z + l + 91. Let j = 12 + z. Is j bigger than -8?
False
Let d(b) = -b**3 - 14*b**2 - b - 14. Let u be d(-14). Let t be 28/(-42)*18/(-11). Which is smaller: u or t?
u
Suppose n + 3*n = -5*a - 1, 4*a - 12 = 0. Let o = 12 - 6. Let u be -1*(-2 + o - 0). Is u at most n?
True
Let d = 54 + -55. Let g be 1*1*4/38. Let h = 15/38 + g. Which is bigger: d or h?
h
Let x = 1131 - 28281/25. Do x and -1 have the same value?
False
Suppose 12 = -3*z - 3*g, 16 = -3*g + 1. Let c be 1*(0 - 0)*z. Let s(o) = -o**3 - 5*o**2 - 4*o + 1. Let d be s(-4). Which is smaller: c or d?
c
Suppose -4*s + 3*w + 6 + 3 = 0, -4*s + w = -11. Let i(u) = u**3 - 3*u**2 - 1. Let v be i(s). Let m = -1926/13 - -148. Which is bigger: m or v?
m
Suppose 14 + 6 = 4*w. Suppose 0 = 3*r + 4*t - 7*t - 15, 3*t = -2*r + 20. Is r bigger than w?
True
Let q = 7 + 1. Let j be (-3)/((-42)/q*2). Is -1/3 >= j?
False
Let d = -97 + 3595/37. Let q = 16/555 - d. Is 2 at most q?
False
Let w = 1.2 - 0.2. Let o = -3 + w. Suppose 52*t - 17*t + 35 = 0. Is o > t?
False
Suppose -3*b - 5 = -4*b. Let s(f) = f - 5. Let w be s(b). Which is bigger: w or -1/4?
w
Let v be (-3 - 0)/3 + 3. Suppose y = -v*y - 9. Which is greater: y or -3/2?
-3/2
Suppose -f - 5*y = -32, 0*f + 2*y = 4*f - 84. Let d be (3/f)/((-9)/12). Which is smaller: d or -1?
-1
Let l = -31143 + 467467/15. Let d = l - 56/3. Is d at least as big as 3?
False
Suppose 4*s + 0 = 4. Let i(a) = -a**2 + a - 1. Let p be 4/14 + 8/(-28). Let v be i(p). Which is smaller: s or v?
v
Let l = -0.15 + 0.05. Let p = l - -0.1. Which is smaller: p or -1/2?
-1/2
Let o = 1/15 + 3/5. Let h = -0.06 + 0.1. Let j = h - -1.96. Which is bigger: j or o?
j
Let l be 4*(-2)/8*-11. Suppose 4*b + 13 + 0 = -3*j, -4*b = 5*j + l. Let u be 3/6 - (-6)/4. Which is greater: u or j?
u
Let s be (-164)/41 - (2/(-2) - 1). Which is smaller: s or -19?
-19
Let x = -17 + 18. Which is greater: 0.6 or x?
x
Suppose 4*q - 5*r = q - 2994, 2*q + 4*r = -1974. Let p = 44687/45 + q. Is 1 > p?
True
Suppose -4*j = -l + 40, -3*l = -4*j - 26 - 6. Let m be j/(-33) - 2/(-3). Is m less than or equal to 1?
True
Let r be 0 - -1 - (-6)/(-14). Let k(f) = f**2 + 3*f + 1. Let b be k(-3). Is b not equal to r?
True
Let i be (-3 - -5)*1/6. Let f = -0.36 - -0.16. Are f and i equal?
False
Let q = -0.002 - 9.998. Is q != 3?
True
Let d(i) = i - 6. Let o be d(6). Let h = 1 + o. Which is smaller: -2/17 or h?
-2/17
Let g = 11 - 5. Let l = g + -4. Which is smaller: l or 7?
l
Let z = 19 - 19. Is -2/3 less than z?
True
Let q = 3 - 3. Let u = -2 + 1. Let w = u - q. Is w != -0.1?
True
Let y = -0.049 - 9.951. Is y smaller than 0?
True
Let m be -3*1/12 + 1/(-4). Let n = 0.3 + -0.2. Is m < n?
True
Let t = 34306423/1296 + -26471. Let k = -10583/40176 - t. Let n = k - 2/31. Which is smaller: 1/6 or n?
n
Let l be (-10)/4*(-12)/(-115). Let h = -11/46 + l. Is 0.3 > h?
True
Suppose 0 = 2*w + 3*h - 3, -7 = -2*w + 2*h + 1. Let f be 1/(w/(-6)) - -3. Suppose 5 = -n + f. Which is smaller: n or -3?
n
Let t = -20 + 16. Let p = 5 + t. Are 3/4 and p unequal?
True
Let x = 7 + -6.98. Let r = 0.52 - x. Are r and 0 non-equal?
True
Let k = -2551/14490 - -13/70. Let j = 152/1449 - k. Does j = -1?
False
Let n be 12/78 - (-92)/416. Is 0 at least n?
False
Let t = 13 + -9. Let r be 2*(-2)/t - 13. Let d = r - -100/7. Which is smaller: d or 0.1?
0.1
Let f be ((-18)/(-56))/((-12)/(-14)). Let u be -1 - (-1 + 5/56). Let j = u + f. Is 1 < j?
False
Let d(z) = -z**3 - 3*z**2 - 5*z - 4. Let x be d(-2). Let m = 2469/1760 - 1/352. Which is smaller: x or m?
m
Let g(n) = n**2 - n - 1. Let f be g(-1). Let i(s) = -s**3 + s + 109. Let c be i(0). Let r = -1637/15 + c. Is f equal to r?
False
Let p = 3 + -1. Suppose p*s - 3*s = 0. Which is smaller: s or 1/2?
s
Suppose -7 + 4 = 3*r, -b + 1 = 3*r. Let c be 1/4 - (-7)/b. Let x be 1 + c*(-1)/1. Does x = -2?
False
Suppose -4*k = -4*q + 28, -2*k - q + 3 = 2. Let c be (-20)/(-6)*6/4. Suppose c*y - 23 = 4*a, a - 10 = -3*y - y. Is k > a?
False
Suppose -4*f - f + 45 = 0. Let b(n) = n**3 - 9*n**2 + n - 11. Let r be b(f). Which is smaller: r or -4/5?
r
Suppose -5*p - 6*g = -2*g + 25, -2*g - 15 = 5*p. Let t = p - -2. Let m be 3/(-6) + (-2)/(-4). Is m > t?
False
Let j = -4 - -2. Let y = -3 + 2. Let o be (15/(-9) - y) + 0. Is j at most as big as o?
True
Let r = 6367/53475 + 2/2139. Does r = 0?
False
Let t = -6 - -2. Let k = -3 - t. Let c = -22 + 22. Is c at least k?
False
Let v = -117/4 - -29. Suppose 2*k = -k + 15, j + 5*k - 40 = 0. Suppose 3*f = 4*y + j, -2*y = 3*f + 6 - 3. Which is bigger: v or f?
f
Suppose 0 = -4*r - d + 19, 5*r - 3*r - 3*d + 1 = 0. Suppose 3*k - 2*g - r = 0, 0 = 2*k + 3*k - 4*g - 4. Are 1 and k unequal?
True
Let m be 1/(-3) + 2 - 2. Let k = 0.16 - 3.16. Which is smaller: k or m?
k
Let s = 22 - 21. Which is greater: s or -1?
s
Let t = 0.12 + -0.22. Are -1/10 and t nonequal?
False
Let u = -279 + 278. Let i = -5953/15 - -397. Which is smaller: u or i?
u
Let t be (2/(-3))/(20/18). Let s = 9.8 - 9.8. Which is smaller: s or t?
t
Let o(f) = 4*f**3 + f**2. Let m be o(1). Let n = -2 + m. Which is bigger: n or 4?
4
Let i be (11 - 6)*13/5. Which is greater: i or 0.3?
i
Suppose -2*l = l + 6. Suppose -12 = 4*k - 0*k. Let m be 8/k + 6/9. Is l less than or equal to m?
True
Let n = 4 + -3.7. Let q = n - 0.3. Let c = -2 + 2. Do q and c have the same value?
True
Let h = -1 - 1. Let i = 3 + h. Which is smaller: i or 2?
i
Let a be ((-42)/9)/(-7) - 67/(-12). Are a and 6 equal?
False
Let i(g) = -g**3 + 4*g**2 - 3. Let p be i(3). Let l be (-28)/p*3/(-2). Suppose -l = 3*m + 2. Which is smaller: -4 or m?
-4
Suppose 0 = 5*k + 2*v + 11 - 39, 0 = -2*k + 4*v + 16. Let d be -2 - k/(-3 + 1). Which is smaller: 4 or d?
d
Let b be (4 - 2 - 1) + 3. Let r be 1 - -1 - (-2 + -31). Suppose b*j + j + r = 0. Which is greater: -6 or j?
-6
Let r(t) be the first derivative of t**3/6 + 2*t**2 - t + 2. Let z(u) be the first derivative of r(u). Let s be z(-6). Which is greater: -1 or s?
-1
Let u = 4 - 2. Suppose -3*t + 5*g + 23 = 0, t - 1 = -4*t - g. Let r be -2 + (u/t)/2. Is r equal to -1?
True
Let w = -6751/12 - -1720/3. Suppose 0 = -f - 3*f + 44. Let u = f - w. Is u at most as big as -1?
False
Let z be (-9)/(-4) - (-2)/(-8). Suppose 3*o - 8 = -t, 12 = 3*t + o + z*o. Is 1 less than or equal to t?
True
Let s be ((-3)/(-3)*0)/1. Let n = -13843/20 + 692. Let t = n - 1/10. Is s < t?
False
Let z = -34 - -25. Which is smaller: z or -8?
z
Let o = 64 + -64. Let a = -121 + 2663/22. Which is smaller: o or a?
o
Suppose -4*q + 3 = -1. Which is smaller: -1 or q?
-1
Suppose 5*q - 70 - 15 = 0. Suppose 16 - q = p. Is 3 at most as big as p?
False
Let x be (4/8)/((-2)/8). Is -2 at least as big as x?
True
Let d(m) = 0*m**3 + 9*m + 0 + 3 + 5*m**2 - 8*m + m**3. Let y be d(-5). Are y and -3 equal?
False
Suppose 1 = 5*f + 2*u - 0, f - 3*u = -10. Which is bigger: f or 1.3?
1.3
Let f = 7 - 6.7. Let m = -24 - -42. Let z = 20 - m. Do z and f have different values?
True
Suppose 8 = 41*r - 33*r. Is 9/4 greater than r?
True
Let a(t) = t**2 + t - 4. Let z be a(-3). Suppose -z*s - 8 = -4*s. Does 3 = s?
False
Let k be (-6)/(-156)*(-12)/21. Which is smaller: k or 1?
k
Let q be (-5 + 4)/((-1)/9). Let r be (3/q)/(51/(-27)). Which is smaller: 1 or r?
r
Let k = 16 + -36. Which is smaller: k or -21?
-21
Suppose 2*p = -d - 3, -20 = -0*d + 5*d + 5*p. Let t(n) = -n**2 + 11*n - 14. Let u be t(10). Is d smaller than u?
True
Suppose 3*n - 14 = 3*c + 1, 4*n - 27 = 5*c. Let p be 3 - (-1 - (c + 3)). Let z = -1309/12 + 109. Is p bigger than z?
True
Suppose 2*k - 5*g - 16 = 0, 0*k + 3*g = -k - 14. Which is smaller: k or -5?
-5
Suppose -8*y - 35 