/7776 + 8/108. Is c less than z?
True
Let f = 6934 + -6219. Which is greater: f or 716?
716
Let q = 426.95 - 381. Let s = q - -0.05. Let t = -46 + s. Is 0.02 bigger than t?
True
Let j be 634/(-1) + -1 + 492/(-123). Let b = j - -659. Is b greater than 19?
True
Suppose -6 = -3*x, -d + 5*x + 214 = d. Let z(m) = 31*m**2 - 21*m - 54. Let k be z(-2). Do d and k have the same value?
True
Suppose 71*n + 3*r - 757 = 66*n, 0 = -4*n - 4*r + 596. Which is greater: n or 1551/10?
1551/10
Let i = -95 - -98. Suppose i*r + 2 = 11. Suppose 24 = r*n + 33. Which is bigger: -2 or n?
-2
Let m = 4625 - 4617. Which is bigger: m or -3.61?
m
Suppose -17*i = -4*i - 8424. Let b = 250 - i. Is b equal to -398?
True
Let a(v) be the third derivative of v**4/6 + v**3/2 + 11*v**2. Let q = 72 + -74. Let b be a(q). Which is bigger: 0 or b?
0
Suppose x = -4*d - 4, 2*d - 2*x = -2*d + 8. Let z = 25 - d. Let y = z + -23. Are 1 and y equal?
False
Suppose -g + 3 = -19. Suppose y + g*y = 138. Is y at least as big as 11/2?
True
Suppose -2*u - 52 = 2*u. Suppose 32 + 46 = 26*g. Let c be g - 0 - ((0 - -17) + 0). Is u <= c?
False
Let w be ((-6)/4 + 1)/37. Let q = -22236 + 22235. Are q and w non-equal?
True
Let i = 39431 - 354473/9. Let k = -2848/63 + i. Which is smaller: -2/119 or k?
k
Let x(l) = l - 2. Let r be x(6). Suppose 30 = r*t + 6. Let q be (t/(0 + -6))/(-1 - -2). Is -1/7 != q?
True
Let y = -8834 - -8833.7948. Is -0.1 greater than or equal to y?
True
Let l(p) = p**2 - 6*p + 23. Let h be l(5). Let j be (h/(-15))/(-6 + 843/140). Is j <= -57?
False
Let v(j) = -j**3 + 13*j**2 - 12*j + 2. Let l be v(12). Suppose y = 3*m - 22, l*m - 19 = -9. Is -2/19 at most as big as y?
False
Suppose 0 = -5*r + 5*l + 245, 2*r - l = 20 + 81. Suppose -a - 67 = c, -50 = -2*c + 5*a - 177. Let f = c + r. Is f > -2/7?
False
Suppose 25 = 5*l - 3*f + 7*f, 0 = -3*l + 2*f + 15. Suppose -l*p - r = -166, 0 = 3*p - 7*p - 2*r + 134. Is p greater than 34?
False
Let y = -26.3 - -16. Let u = y - 36.7. Does 0.1 = u?
False
Let i be -10*(-18)/514860*(-16)/(-72). Is i >= 1?
False
Let v be (-51)/6*8/44. Let r = v + 19/11. Let i = 1.05 + -0.05. Which is bigger: i or r?
i
Let x be (623/19)/(-85 + 83) + 17. Let p be (2 - 10/4)*0. Which is greater: x or p?
x
Let k be (-22)/(-12089)*21/939. Which is smaller: -1 or k?
-1
Let l be 4 + 225/(-10) + 16/(64/6). Which is greater: l or 0.222?
0.222
Let z = -10163 + 9879. Is z equal to -37?
False
Suppose -5*d = -5*q + 5, 528*d - 12 = 4*q + 532*d. Let k = 103567/106 - 977. Which is smaller: q or k?
q
Let p = -19 + 19.1153. Let t = p - 0.0153. Which is greater: t or 27?
27
Let b = 72224737/7429 + -9722. Do 0 and b have the same value?
False
Let k = -71 + -26. Let l = k + 85. Is -15 at most l?
True
Let n = 9799.544 - 10169. Let o = n - -0.456. Are -1/2 and o equal?
False
Suppose 36330 = 36*q - 71*q. Let d = -736 - q. Which is smaller: d or 301?
301
Let d be 1/(6/(-945))*(-32 - -30). Which is smaller: d or 314?
314
Suppose 1234 - 479 = -g - 4*r, -4*g + r = 2986. Which is smaller: -750 or g?
-750
Let t = -31.7 + 5.7. Let x = -25.96 - t. Let o = -94 + 749/8. Do o and x have the same value?
False
Let m be 4/24*2*1413. Let u be 111426/238 + (-2)/((-4)/6). Let n = u - m. Which is smaller: 0 or n?
0
Let y(x) = -2*x**2 + 8*x - 7. Suppose 3 - 11 = -4*a - 4*w, 5*a - 3*w - 10 = 0. Let p be y(a). Which is smaller: p or -1?
-1
Let l = 59.7 - 349.7. Let j = l - -291. Is -30 greater than j?
False
Suppose -c = -3*g + 272, 41*g + 252 = -c + 40*g. Which is smaller: -261 or c?
-261
Let b be (2/(-6))/((-4)/(-6)). Let m = -0.05816 - 28.09784. Let i = m - -28.2. Which is bigger: b or i?
i
Let d = -132.3 + 410.8. Let i = 273 - d. Which is smaller: -2/3 or i?
i
Suppose 2*r - 10*b + 7*b = 53, -2*r - 2*b = -58. Let q be 0*(-4)/(-16) - r/(-96). Which is smaller: q or -1?
-1
Let g(z) = 47*z**2 + 19*z - 16. Let m be g(-5). Which is greater: m or 1063?
m
Suppose -w - 4*p - p - 4 = 0, -w - 4*p = 3. Let m be (2 + w)/(-12*(-13)/(-6760)). Which is smaller: -128 or m?
m
Suppose 2*h + 8 = 0, 0*b - 3*h = -b + 15. Let m be (-6)/(4 - -2) - -7. Let c be ((-38)/(-28) - 1)*m. Are b and c equal?
False
Let n = -152195 + 152196.8. Let d = 3 - 2.9. Let j = d - 0. Which is smaller: j or n?
j
Suppose -2*j + 6 - 20 = 2*g, 3*g = 4*j + 14. Let w be (g/(-11) + (-117)/99)*1. Is -1/63 > w?
True
Let p = -5.14 - -3.09. Let z = p - -1.95. Is z less than -138?
False
Suppose -18 = 3*m, 3*c = 766*m - 767*m - 9. Are 8/4257 and c non-equal?
True
Let c be 2 + -6 - (-6)/2. Let n = -9471 + 1202815/127. Is c not equal to n?
True
Suppose 5*c = -4*a - 48 + 450, -18*a + 2*c + 2152 = 0. Let s = 111 + 6. Which is bigger: a or s?
a
Suppose -5*f + 4 = -3*f. Suppose -4*c + f*c + 2 = -n, 3*c - 9 = 3*n. Let s be (-810)/201 - (7 - 11). Which is smaller: c or s?
c
Let n(z) = z**3 + 10*z**2 - 32*z - 30. Let f be n(-12). Let p = -129 - -197. Which is smaller: p or f?
f
Let q = 5.064 + -0.694. Let b = 3.37 - q. Which is smaller: b or -6/31?
b
Suppose 3*y + 4*o + 263 = -955, -2*y = 2*o + 810. Which is smaller: y or -404?
-404
Suppose 10*z - 24 = 4*z. Suppose z*c = 7*c + 9. Let s(w) = -5*w + 9. Let y be s(c). Is 22 > y?
False
Suppose 5*j - 53*j = -240. Are 217/57 and j non-equal?
True
Let l(w) = 10*w - 29. Let r(j) = 9*j - 30. Let c(f) = -5*l(f) + 4*r(f). Let n be c(12). Let t be 8/44 + 37/n. Is -1 >= t?
False
Let k(x) = x + 34. Let y be k(-29). Suppose m = -4*j + 9 + 7, 0 = m - y*j + 20. Let d be 1/(1*(-46)/(-6)). Is m greater than or equal to d?
False
Let n = 302.1 - -39.9. Let o = n + -343. Does -19 = o?
False
Let i be ((-6)/9)/((-4)/210*-7). Let w be 7/(-21) + i/((-15)/4). Is w less than 6?
True
Let s = 30.064 - 0.064. Let u = s - -3. Let n = u + -35. Which is smaller: 0.2 or n?
n
Let q = -8157 + 7513. Does -644 = q?
True
Let a be (1620/42)/((2/(-14))/(-1)). Let m = 1892/7 - a. Is m equal to -0.9?
False
Let b be 3 + -4 - (-4053)/1089*108/402. Is -1 >= b?
False
Suppose -71 = -2*k + 1101. Suppose -585*l + 2 = -k*l. Which is greater: -18/19 or l?
-18/19
Let r = -260 + 2083/8. Suppose 0 = -9*b + 26*b - 85. Suppose -2*u - 3*a + 5*a = -4, -b*a = 4*u + 19. Which is bigger: r or u?
r
Suppose 8 - 48 = -5*i. Suppose -2*t - 7*t = 0. Suppose 3*f - 20*f + 119 = t. Is f at least i?
False
Suppose 11*l = 16*l - 7*u + 27183, -l - 5*u - 5475 = 0. Is -5444 greater than l?
True
Let g = 6663 - 6236. Which is bigger: g or -0.5?
g
Let j be 4/42 + (-366)/(-126). Let i be ((-9)/j + 3)/(-4). Which is bigger: 6/13 or i?
6/13
Suppose 0 = 150*h - 3091 - 7259. Do -42 and h have the same value?
False
Suppose 120 = 212*u - 215*u. Let y be ((-21)/12)/(1 - (-42)/u). Let s = -39 - y. Which is smaller: s or -73?
s
Suppose 0 = -n + 42 - 31. Suppose -3*q - 71 = 2*j, -n*q + 7*q + 92 = -2*j. Is -37 <= j?
False
Let q = 7 - -14. Let y be (-24)/36*(0 + -111). Suppose 3*j - 26 - y = -5*z, 2*z - j = 51. Which is bigger: z or q?
z
Let m = -55065667/5189 - -10612. Is 1 != m?
True
Let p be 1/(1/5) - 1029348/205740. Let j = 15 + -16. Is p less than j?
False
Let m = 0.07 + -0.049. Let x = m - -0.179. Let r = 1243/17 - 73. Is r >= x?
False
Let h(a) = a**2 - 13*a + 5. Suppose -j + 3*j - 32 = 0. Suppose -j = -5*d + 49. Let r be h(d). Is 6 equal to r?
False
Suppose -80*r + 82*r + 148 = 2*n, -3*r - n = 230. Is 8 != r?
True
Let r = -1210483/24 + 50420. Is r != -17?
True
Suppose -4 = 4*m - 3*m. Let n be (-10)/4*m/5. Let k be (-130)/(-13)*(8/5 - 2). Which is bigger: k or n?
n
Let g be 39/26 + 2238/4. Let n be 4*(-4)/56 - g/21. Which is smaller: 2 or n?
n
Let q = -2714 - -2713.97. Which is smaller: 0.1 or q?
q
Let g be 282156735779/(-320637717400) + (-3)/(-3). Let l = 3/111603800 + g. Let r = -2/845 + l. Which is smaller: r or -2/7?
-2/7
Let l be (-192 + -722)*(4 - 2). Which is smaller: l or 5?
l
Let k = -1561 + 35902/23. Which is smaller: -43 or k?
-43
Let k = -170 - -264. Let o = 95 - k. Which is smaller: -12/35 or o?
-12/35
Suppose -134*s + 321*s - 12180 = 103*s. Is s <= 205?
True
Let l = 2 + -3. Let w be (-23)/(-26) - l/(-2). Let o = -10.186 + 10.186. Which is greater: o or w?
w
Suppose 0 = -2*p + 3*x + 87, -3*p - 22*x + 17*x = -121. Let k = p - 31. Which is smaller: k or 9?
9
Let d = -59.2 - -66. Let w = -11023 + 11022. Which is greater: w or d?
d
Let k(b) = 48*b + 167. Let m be k(-24). Is -983 equal to m?
False
Let d