. Are f and -51 nonequal?
True
Suppose -12 = -4*v - 0*v. Suppose -v*z + 2 = 5*f, -5*f - 18 = -2*z - 0*f. Suppose 10 = -z*c - c. Is c less than -9/4?
False
Let x = -59 + 52. Let h be 2/x - (291/(-112) - -2). Which is bigger: h or -1?
h
Suppose -2*a + 134 = 2*m, 0*a + a - 191 = -3*m. Let t = 56 - m. Which is smaller: t or -7?
-7
Suppose -3*s = -4*z + 451, -2*s + 6*s = -z + 127. Which is smaller: z or 229/2?
229/2
Let t = -11404/5 - -2266. Is -15 smaller than t?
True
Suppose 2*m - 5*d + 118 = -d, 5*m = -2*d - 355. Which is smaller: -68 or m?
m
Let w = 108 - 108. Is -234 greater than w?
False
Let z = 623/209 - 48/19. Suppose 0 = -x - 3, 3*x + 12 = 3*f. Which is smaller: f or z?
z
Suppose -42 = -2*h - 2*s, h - 5*s - 1 = 2. Let x be (12/h)/(2/(-9)). Is -5 < x?
True
Let v = -720 - -642.2. Let l = v + 89. Let a = -12 + l. Which is smaller: -1/4 or a?
a
Let t be (6/15)/(34/(-10)). Let u = -108 - -120. Suppose -u = -3*m - m - p, 3*m + 14 = 5*p. Is t < m?
True
Let r(m) = -6*m + 0*m**3 + m**3 + 10*m - 1 + 4*m**2. Let n be r(-3). Let z be ((-12)/30)/(n/10). Is -0.9 at least as big as z?
False
Let j(t) = t**2 - 4*t. Let o be j(-3). Suppose x + 15 - 16 = 0. Let c be (x - (-8 - 1))*(0 - -2). Is c smaller than o?
True
Let l(c) = 4*c**2 - 2*c + 18. Let a be l(11). Is 480 greater than a?
False
Let c = 608 + -556. Is c less than or equal to 53?
True
Let v be 40/6 - 18/(-54). Suppose 9*m = 2*m + v. Let c = -26 - -26.13. Is m > c?
True
Suppose 5*g - 11 - 39 = 0. Suppose -23*j = -21*j + g. Let u = -3 - -1. Is j bigger than u?
False
Let o be 2/5 - (-1 + (-154)/(-10)). Which is bigger: -16 or o?
o
Let r(m) = -m**3 + 11*m**2 - m + 16. Let j be r(11). Let o be (1/j)/((-4)/(-30)). Suppose 2*c - 6 = -2. Is c bigger than o?
True
Suppose -3*a + 10 = -5. Suppose 3*x + 2*v = 2, -a*x - 2 + 17 = v. Which is greater: 9 or x?
9
Let i be 1*2/(-10) - 58/(-290). Which is bigger: i or 23/16?
23/16
Suppose -502 = 4*c - 486. Let z be 21/(-5) - (-2)/(-5). Which is bigger: c or z?
c
Let x(s) be the first derivative of -s**3/3 + 3*s**2 + 6*s - 2. Let g be x(7). Which is smaller: -5 or g?
-5
Suppose 0*z = -5*z + 15. Let x(v) = v - 3. Let l be x(7). Let w be l - (7 - 10/5). Which is greater: z or w?
z
Let j(w) = 5*w**2 - 9*w + 6. Let m be j(3). Suppose -u = -5*h - 0*u - 10, 0 = -4*h + 4*u - m. Is 4/19 greater than or equal to h?
True
Let y(t) = -2*t + 1. Let x be y(-2). Suppose -4*g - 4 = 0, x*k - 2*g - 11 = 2*k. Suppose -10 = -k*d - 4. Which is greater: 1 or d?
d
Let l be (-1 - 0)*(-5 - -6). Let d = 63229/1112 + -455/8. Is l <= d?
True
Let z = 17 + -16.3. Let m = 2.1 + -135.1. Let d = m + 132. Which is bigger: d or z?
z
Let d = -1874 + 1829. Which is smaller: d or -27?
d
Let k = -16.1 + 37. Let h = -0.1 - k. Let b = h - -20.83. Which is smaller: b or 0?
b
Let d = 194 - 193.543. Which is smaller: -3/5 or d?
-3/5
Let p be -2 - (14/(-3))/(-7 - -9). Which is smaller: -1/7 or p?
-1/7
Let v = -9 - -11. Suppose 0 = -2*c - v*u + 5*u + 10, -c + 5 = -4*u. Suppose -5*f + 9 = 2*o, -o + c*f + 0*f - 18 = 0. Which is smaller: -16/7 or o?
o
Let p be (3 + 1010/(-340))*-600. Which is smaller: -17 or p?
p
Let r(c) = -11*c**2 + c. Let j be r(1). Let h = 42 + -42. Suppose 2*x - 3*x - 10 = h. Are x and j nonequal?
False
Let a = -185 + 199. Let z = 0.19 + -0.29. Which is greater: z or a?
a
Let t be -34*(-5 + 33/6). Which is smaller: t or -1?
t
Let v = 756 - 14382/19. Are 0 and v equal?
False
Suppose 31*k - 82*k = 16473. Are -325 and k nonequal?
True
Let f = 13 - 15. Let r = 5 + -8. Let z = f - r. Is 2 less than z?
False
Let b = -163.1 + 163. Which is bigger: 2/17 or b?
2/17
Let q = 1069 - 1068. Which is smaller: 2/2997 or q?
2/2997
Let d(j) = j**3 + 15*j**2 + 1. Let p be d(-15). Which is smaller: p or 3/8?
3/8
Let y = 2.9 + -3.1. Is y <= 0.04?
True
Let v = 372 + -385. Let q(k) = -4*k + 5. Let s be q(4). Is s <= v?
False
Let v = 62 + -61.71. Let c = 2.06 - 2.4. Let a = v + c. Which is smaller: -2 or a?
-2
Let r be ((-2)/(-3))/((-5)/3). Suppose 0 = -m - 2 - 2. Let q = m - -3. Which is smaller: r or q?
q
Let d = 13 + -1. Suppose -q = 3*q + d. Let v be (-6)/4*(-4)/q. Is v > 0?
False
Suppose 28*j + 3237 + 683 = 0. Which is smaller: 0.2 or j?
j
Suppose -4*c + 6*c + 3*i = 16, 0 = -5*c + 3*i + 61. Let d = -7 + c. Do d and 9 have the same value?
False
Let l = -215.24 - -216.24. Let t(w) = -w**2 + w - 1. Let h be t(-5). Is l > h?
True
Let f = 1.2 + -1. Let m = -23 + 24. Which is smaller: m or f?
f
Suppose -3*s = -2*d - 86, -2*d + s = 99 - 17. Suppose o = 9 + 51. Let f = d + o. Is f smaller than 21?
True
Suppose -5*f + 438 = -257. Which is smaller: f or 140?
f
Let h be (-630)/(-64)*(16 + 968/(-66)). Let x be (((-52)/(-2))/(-2))/(-1). Is x < h?
True
Suppose 3*d + 2*c + 78 = 0, 0*d - 2*d + 4*c - 52 = 0. Let g = -23 - d. Suppose g*i = 4*i. Is -1/5 less than or equal to i?
True
Suppose -64*g + 18 = -82*g. Is g >= -7/103?
False
Let l(o) = -19*o**2 + 10*o + 26. Let n(p) = 13*p**2 - 7*p - 17. Let d(m) = -5*l(m) - 7*n(m). Let a be d(-3). Is a less than 29?
True
Let n = -1631 - -259331/159. Let t = -13 + 13. Which is bigger: n or t?
n
Let o(c) = -2*c - 1. Let h be o(-1). Let y be -1*(2 - 3 - h). Let f = -26 + 27. Which is bigger: y or f?
y
Suppose -2*f - 8 = -4*u, f - 34 = -2*u - 22. Let h = 1343/28 - 362/7. Is h less than u?
True
Let w = 188607/29 - 6503. Is w greater than or equal to -0.3?
True
Let k = 0.72 + -0.75. Let l = 15.97 - k. Is l greater than or equal to 2?
True
Suppose -5*w + 4*c + 6 = 0, 157*c - 159*c = 2*w - 6. Suppose 4*t + 4 = 4*h, 0 = 4*h + 2*t - 3*t - 1. Let v = 1/2 + h. Is v greater than or equal to w?
False
Let b = -6806/133 - -356/7. Let z = -5/76 - b. Let q = -0.21 - -3.21. Which is bigger: q or z?
q
Let h = 13565/23244 + -1/3874. Let i be 0 - 2 - (-1 + -1). Is h less than i?
False
Let f be ((-132)/(-20) - 7)/((-4)/10). Which is smaller: f or -2/1649?
-2/1649
Let g = -65 + 71. Suppose -g*y + 5*y + 5 = 0. Does y = 5?
True
Let l be (-1 + ((-63)/(-6))/7)*8. Let r be (45/(-255))/(6/l). Which is bigger: r or -1?
r
Suppose 2*k - 3 - 1 = 0. Let v be 0*k/(-12)*3. Let c = -726/7 - -104. Which is smaller: v or c?
v
Suppose -9*q + 12 = -5*q. Suppose 0 = -3*j - 3 - q, 3*f - 2*j - 52 = 0. Let s = -12 + f. Which is smaller: 3 or s?
3
Let x be 6/4 + -2 + (-1161)/(-301). Is 4 at least x?
True
Let n be 1/7 + (-111)/(-7) + -13. Which is smaller: -5 or n?
-5
Let k = 30 - 119/4. Which is bigger: 8 or k?
8
Let m = -11/34 - 3/17. Suppose -4*d = 2*p - 8, -8*p = 5*d - 12*p - 10. Is d < m?
False
Let a = -10.29 + -0.51. Let f = 13 + a. Which is bigger: f or 1?
f
Let h = 1309 + -30. Which is smaller: 1280 or h?
h
Let p be 4*3/6*7. Let w = -8 + p. Let f be ((-6)/8)/(w/4). Do -2 and f have different values?
True
Let r(m) = 34*m - 101. Let w be r(3). Do w and -21/50 have the same value?
False
Let i be (-15544)/(-2613) + (0 - 0 - 6). Is i equal to -1?
False
Let i = -19 + 17. Is i <= 1/17?
True
Let l = -6.8 - 112.2. Let c = 119.1 + l. Is c less than or equal to -73?
False
Suppose -6*a + 4*g - 544 = -10*a, a + 5*g - 156 = 0. Is a at most as big as -2/3?
False
Let p = -65 + 116. Suppose 5*m = -4*d + p, -5*d + 33 = -3*m - m. Suppose -30 = 4*l - d*l. Are 5 and l equal?
False
Let z(v) = -3*v - 4*v + 9*v + 11. Let l be z(-5). Which is bigger: l or -1?
l
Let q = 5.62 - 4.62. Let x(k) = -k**3 + k**2 - 6. Let g be x(0). Which is smaller: g or q?
g
Suppose 5*q + 290 = d, -q + 3*q = -d + 290. Suppose 2*o - d = -3*o. Let h = -84 + o. Which is smaller: h or -27?
-27
Suppose 6 + 98 = 2*v. Suppose 4*f + v = 8*f. Let y = -15 + f. Is -2/3 less than or equal to y?
False
Suppose -3*t - 19 + 7 = 0. Let c = 892 + -899. Are c and t non-equal?
True
Let g = -107 + 106. Let n(h) = -h**2 + 3*h + 2. Let w be n(2). Let x be ((-2)/w)/g + -1. Which is smaller: x or 0.1?
x
Let n be (-4)/(-10) + 96/(-235). Suppose -13*b + 3 = -5*b + 11. Which is smaller: n or b?
b
Let g be 5/(15/1389) - (4 + -3). Let b be (-16)/(-40) - g/405. Which is smaller: -1 or b?
-1
Let k be (7 - (-2 - -2))/(-1) - -6. Which is smaller: k or -4/49?
k
Let l be 1*2 + (-60)/(-14). Suppose 4*v + 5*f + 1 = 0, 0 = 13*v - 14*v + 4*f + 26. Which is smaller: l or v?
v
Suppose 6*q = 5*q + 2*a + 4, -4 = -q + a. Let d = -6 + 2. Let l be ((-2)/2)/(d/13). Which is bigger: q or l?
q
Let s be ((-6)/(-8))/(27/(-