 = -16 - -19. Suppose -2*q = 4*c - 5*q - 15, -g*c = -4*q - 6. Is c at most as big as 9?
True
Let w = -25 + 28. Let x(j) = -4*j. Let z be x(-1). Let c = z + -3. Is w equal to c?
False
Suppose -192*w + 191*w = 10. Suppose 0*v = -2*p - 2*v + 6, -2*p + 5*v = -20. Suppose -2*f - 38 = p*k, -3*f = -8*f - 3*k - 57. Is w greater than f?
False
Let t = 0.5 - 0.3. Let c = 447 + -448. Is t bigger than c?
True
Let b = -387 - -8903/23. Suppose -2*h + 3 + 3 = 0. Suppose h*j = -5*t + 6, -2 = j - 2*j. Which is smaller: b or t?
t
Let x = 1.2188 - 0.2188. Which is smaller: x or -0.175?
-0.175
Let d = 2774 + -2686. Let g = -0.1 + 0.2. Which is smaller: g or d?
g
Let a be (-25)/(-2)*((-78)/(-1380))/13. Which is smaller: 0 or a?
0
Let x = -7.83 + 0.33. Let i = x + 9. Let g = i + -8.5. Which is bigger: 0 or g?
0
Let z be (16/(-10))/((-6)/75). Let p be ((-1)/(-6))/((-16)/z). Let a = p + -1/8. Is a at least -16?
True
Let a be ((-26)/(-8))/(2/8). Suppose 0 = 62*h - 37 - 149. Is a not equal to h?
True
Suppose -4*i - 52 = -9*i - 3*l, -3*i + 3*l + 12 = 0. Let o be i/14 + 2754/(-4599). Are -1 and o unequal?
True
Let j be (-71)/23 - (0 - 3). Let b = -28/207 + j. Which is smaller: b or 0?
b
Suppose z - 7 + 17 = 0. Let r = z + 12. Suppose 3*v - r*v = 0. Which is smaller: v or -1/3?
-1/3
Suppose -a - 5*h = 174 - 52, -2*a - 223 = 3*h. Suppose -3*y - 3*r = -2*r + 326, 536 = -5*y + 2*r. Is a at most y?
False
Suppose -3*d + 1 = -4*d. Let u = -192 - -105. Let n = 86 + u. Is d greater than or equal to n?
True
Let y = 1.42 - -0.08. Let d = y + 1.5. Which is bigger: 6 or d?
6
Let x = -44.005 - -44. Let n = -0.015 - x. Is -1/2 at most n?
True
Suppose -2*j + 6*j = 312. Let k = -75 + j. Is 0 at most k?
True
Suppose 2*f - 12 = 7*k - 3*k, -4*k + 16 = 5*f. Let r = f - -1. Let g be -1*1 + r/(-1). Is -1 bigger than g?
True
Let s(r) = 2*r**2 + 14*r + 13. Suppose -4*b + 0 = 24. Let t be s(b). Which is smaller: t or -30?
-30
Let t be 15 + 91 + (4/2)/1. Is t smaller than 107?
False
Suppose q + 4*q = 0. Suppose 4*f = 4*p + 28, -2*f - 5*p = 3*f + 15. Suppose h + f*h + 6 = q. Does -4/3 = h?
False
Let b = -164 + 352. Are 189 and b equal?
False
Let a = 208 + -211.8. Let o = 1 - 3. Which is smaller: a or o?
a
Suppose 20 = 7*x - 8. Suppose 5*a + 182 = 2*c - c, -x*c = -a - 25. Which is smaller: a or -38?
-38
Let z = -8 + 9. Which is smaller: 54 or z?
z
Let i = 25 - 76/3. Let d = -17 - -20. Suppose -2*k + 4*p + 18 = -0*p, -18 = 3*k + d*p. Which is smaller: k or i?
k
Let x = -2 - -1.95. Let c = 70.5 - 70.8. Which is greater: x or c?
x
Let h = 11.34 - 11.3. Do h and 7 have different values?
True
Let p = 67.52 + -1.52. Let k = -65 + p. Is 3/4 not equal to k?
True
Let t be (-157)/(-3) - 625/(-375). Which is smaller: t or 55?
t
Let i be (4/(-21))/((-2)/7). Which is smaller: 0 or i?
0
Let k be (3 + -3)/(52 - 48). Is 2/757 != k?
True
Let c(v) = 14*v + 22. Let r be c(4). Let m = r - 73. Which is greater: -1 or m?
m
Let t be 45*(26/7 + (-8)/(-28)). Suppose -24*l = -29*l - t. Is l >= -36?
True
Let d be (-14)/14*(-1 - -4). Let b be (1 + -4)/d*-3. Let h be -4*(b + 20/8). Which is smaller: h or 4/7?
4/7
Let m(d) = -d**3 + 5*d**2 - d. Let q(l) = 2*l - 18. Let n be q(11). Let o be m(n). Do o and 12 have different values?
False
Let u = -6/181 + -912/5249. Are 0 and u equal?
False
Let a(t) = -t**3 - 7*t**2 - t - 7. Let y be a(-7). Suppose 4*c - j = 2*j + 223, -j = -3*c + 161. Let d be -3 + (c/3)/4. Which is bigger: y or d?
d
Suppose 3*v - 10 - 8 = 0. Let a be (-2)/6*v/(-10). Is 10 less than a?
False
Suppose 2*y + 4*d + 2 = 4*y, 5*y - 5*d = 0. Let q = -185/18 + 4352/423. Do q and y have the same value?
False
Let t = -31647/148 + -145/37. Is t at least as big as -219?
True
Let x = 40/477 - 18664/40545. Let i = x + 3/17. Which is smaller: i or 4/5?
i
Let d = 5210390/183 + -28472. Does d = -1?
False
Suppose 39*f - 32*f = -917. Which is smaller: f or -132?
-132
Suppose 15*a = 2*i + 12*a + 21, 2*i - 9 = -3*a. Let z be 1*(2 + 1*-5). Is i less than z?
False
Let u(a) = a**2 + 20*a - 45. Let f be u(-22). Which is smaller: -19/9 or f?
-19/9
Let k be (-1)/((2/(-12))/(12/(-9))). Let r(u) = -u**2 - 5*u + 27. Let m be r(k). Which is smaller: 15/4 or m?
m
Let c = 756 + -734. Which is bigger: c or 1?
c
Suppose -4*s = 4*v - 8, -5*s + 11 - 16 = 0. Is v <= 0.5?
False
Let s be (-9)/3*((-4)/6 + 1). Let z(x) = -x**3 - 8*x**2 + 9*x + 6. Let g be z(-9). Let c be (-1)/(-2)*(-15)/g. Which is smaller: s or c?
c
Let h = -1103 + 1104. Is h equal to -2/523?
False
Suppose 3*g = h - 2, 0 = -3*g + h + 2*h. Let q be 21/14 + -2 + (-47)/(-86). Which is smaller: g or q?
g
Let a = -25 + 4. Let v = -31 - a. Let s be 24/(-60) + (-2)/(-5). Is s not equal to v?
True
Let o be ((-8)/(-6))/((-4)/18). Suppose 3*d + 12 - 12 = 0. Suppose 4*k + 42 - 14 = d. Which is smaller: o or k?
k
Let u = 805 + -797. Is -3 smaller than u?
True
Suppose 816 = -34*d + 28*d. Is -137 smaller than d?
True
Suppose 2*o = 5*g + 98, -6*o - 31 = -7*o - 2*g. Is 39 bigger than o?
False
Let f be (-1067)/429 - (-2)/6. Is f less than -3?
False
Let i(n) = -5*n + 154. Let d be i(31). Is 1/1072 at least d?
True
Let z be (-1)/((-1)/3) - 2090/741. Are z and 1 equal?
False
Let t(r) = -2*r - 7. Let x be t(-4). Let i be 2/(-34)*(-17)/(4 - 21). Is x < i?
False
Let t(y) = 5*y + 10. Let b(a) = 3*a - 2. Let q be b(2). Let o(d) = 9*d + 20. Let w(l) = q*o(l) - 7*t(l). Let r be w(-6). Are 5 and r equal?
False
Suppose 5*y - 25 = -0*y. Let b be 1/(-4) + y/20. Suppose 0 = -b*r + 5*r. Is r bigger than 1/2?
False
Let c(r) = 2*r**2 + 10*r + 3. Suppose -h + 2 = -d, 2*d + 13 + 12 = -5*h. Let b be c(d). Let k be (-3 - -3)/(1 + 0). Which is smaller: k or b?
k
Suppose -5*f + 8 + 7 = 0. Suppose 0 = 4*p - x - 5, -x - 1 + 4 = 0. Which is smaller: f or p?
p
Let u be (-1)/3*(-1090)/2520. Let b = -3/28 + u. Is -1 > b?
False
Let z = -123.19 - -122. Let f = z + 2.19. Are 0.43 and f equal?
False
Let k = 38 + -22. Suppose -k + 4 = -4*y. Is -0.01 bigger than y?
False
Let v = -174051/74 + 2352. Is v smaller than 1?
True
Let w = 66 + 40. Let o = w - 109. Which is bigger: o or 0?
0
Suppose -40*y = -62*y + 88. Which is greater: y or -1?
y
Let g be ((0 + (-55)/45)*6)/((-40)/(-18)). Let h = -5 + 2. Is h > g?
True
Let i(j) = j**2 + 3*j + 3. Let k be i(-2). Suppose -148 = -3*y - 28. Let s be (-104)/y + 6/10. Which is bigger: k or s?
k
Let j = -3.185 + 0.185. Which is bigger: j or -1.4?
-1.4
Let w = 64 - 39. Let k = w - 40. Is k > -1?
False
Let k = 296.1 + -296. Which is greater: -1.01 or k?
k
Let t be 9/(-24) - (-6 - 10479/(-24)). Is -430 < t?
False
Suppose 2*s + 196 = -3*y, -2*s + s = -3*y + 98. Let t = s - -117. Is t < 16?
False
Let b = -30 - -42. Let h = 11.95 - b. Let u = -0.3 - -0.4. Is u at most h?
False
Let v(x) = -2*x**2 + 8*x. Let l be v(7). Suppose -4*f + t = -8, -5*t - 16 - 4 = 0. Which is greater: l or f?
f
Let a = -0.32 - 2.48. Let r = a + 0.8. Let b(u) = -6*u - 20. Let w be b(-3). Are w and r nonequal?
False
Let u be 14/(-6)*(-42)/5439. Which is greater: 1 or u?
1
Let u = 368/19 + -3478/209. Suppose 3*q - 5 = -a, -4*q - 4*a = -5 + 1. Is q at least as big as u?
False
Let j = 1 + 0. Let x = 8.35 - 8.411. Is x bigger than j?
False
Let n be 2 + 3/((-63)/48). Suppose -5*f + 3*f = -8. Let a be 3 - f - 2/2. Which is bigger: a or n?
n
Suppose 30 = 10*c - 15*c. Let t be c + 0 + 4 + 23 + 2. Is 23 != t?
False
Let n = 2/591 - 526/197. Let g = -0.082 - -0.082. Is g equal to n?
False
Suppose 1 + 2 = -3*j. Let x be 10/j*66/(-44). Which is smaller: x or 17?
x
Let d(n) = n**3 + 6*n**2 + 6*n. Let m be d(-5). Let k = 27 + m. Which is bigger: 23 or k?
23
Let b = 75 + 63. Which is smaller: b or 139?
b
Let o(m) = -m**3 - 4*m**2 + 17*m + 29. Let j be o(-6). Which is smaller: j or -4/131?
j
Let p(f) = 16*f - 76. Let j = -120 - -128. Let v be p(j). Which is greater: v or 105/2?
105/2
Let z be (1 + 0)/((-4)/(-28)). Suppose 710 = 3*u + 4*v, 3*v = -1 + z. Let t be 1*3 + u/(-81). Is -1 at least as big as t?
False
Let f(v) = 2*v**2 - 25*v - 96. Let m(w) = -w**2 + 12*w + 48. Let j(i) = -4*f(i) - 9*m(i). Let q be j(12). Is 7/9 at least q?
True
Suppose -5*z + 57*g = 60*g + 1424, 0 = -4*z - 2*g - 1140. Which is greater: -287 or z?
z
Let j = 0.4 + 0.1. Let w = 0.58 - j. Let l = 771 - 5399/7. Which is greater: w or l?
w
Let z = 377 + -452. Is -74 smaller than z