rue
Let n = -1811/264 - -1204/33. Is 31 smaller than n?
False
Suppose -5*o - 103 - 162 = 0. Which is smaller: o or -54?
-54
Let t = -41.96 + -0.04. Which is smaller: 2/13 or t?
t
Let k = 683 + -726. Is k at least as big as -32?
False
Let z = 475 - 209. Which is bigger: 0.2 or z?
z
Suppose -616*x + 612*x - 848 = 0. Is x bigger than -212?
False
Let h = -1643 - -1630.1. Does 0.06 = h?
False
Let n = 1/3363 + 2035/696141. Which is bigger: 0 or n?
n
Suppose 0 = -22*d + 86 + 68. Does 40/7 = d?
False
Let q(z) = -z**3 + 7*z**2 + z + 10. Let j be q(7). Let b = j + -12. Is 6 at least as big as b?
True
Let k = 93 + -210. Let c be k/36 - (-9)/3. Is -20 bigger than c?
False
Suppose 4*x - 57 - 23 = 0. Let o = 18 - x. Let l be (o/38)/(9/(-27)). Are 1 and l unequal?
True
Let v = 27 + -167. Let j be v/80 + (-3)/(-4). Which is smaller: j or 17?
j
Suppose 105 = -2*t + 3. Let s = -37 - t. Let m be 100/7 + 4/(-14). Is s smaller than m?
False
Let f be (-4 + (-28)/(-6))*1296/3. Is f greater than or equal to 288?
True
Let q = -23201/39 + 6282/13. Let b = q - -111. Which is bigger: b or 1?
1
Let f be (-3 - 180) + -2 + 2 + -2. Which is greater: f or -181?
-181
Let z be (2/(-5))/(2/(-40)). Let m(q) = q**2 - 3*q - 18. Let t be m(7). Suppose -z = -12*v + t*v. Do 4 and v have the same value?
True
Let i = 2.8 - 3. Let y = 537/26 - 41/2. Is i smaller than y?
True
Let a(v) = -84*v + 41. Let l be a(-2). Which is smaller: l or 204?
204
Let a(u) = u**2 - 4. Let v be a(2). Suppose 0 = 3*l + 5*n - 28, -5*n = 4*l - v*n - 39. Is l != 8?
True
Let r = -6 + 7. Let c be 2 + (1 - 3) - r. Is 1/3 bigger than c?
True
Let u = -14 + 21. Let o(g) = 20*g + 26 - u*g - 8*g - 7*g. Let f be o(13). Which is smaller: 3 or f?
f
Let g = -100/297 + 1/297. Let r(u) = u**2 + 3. Let p be r(0). Suppose -2*l + p*l + 1 = 0. Does g = l?
False
Let o = -16 - -44. Suppose -24*l = -7*l - 476. Is l less than o?
False
Suppose 7*o - 6*o - 3 = 0. Suppose -r = 4, -11 = 3*g + o*r + 10. Let h = g - -7. Which is bigger: h or 5?
5
Suppose 9*c = 6*c + 27. Suppose 4*s + 49 - 13 = 0. Let a = s + c. Which is smaller: 0.2 or a?
a
Let d = -18 - -13. Let z be 6/(-24) + d/4. Which is bigger: -3 or z?
z
Let x = -33 + 31. Let i be (-9)/42*x*7. Which is greater: i or 1?
i
Let i = -0.043 + -10.957. Let l = -17 - i. Is l > 3?
False
Suppose 31 = 8*n - 145. Let d(i) = i**2 - 24*i + 7. Let a be d(n). Is -37 greater than a?
False
Let s be ((-3)/(-3))/3 + (-4)/(-6). Let y be 6/10 + 24/10. Suppose -y*w + g + 3 = 0, g + 0 = -3. Which is greater: w or s?
s
Let o = 73.9 + -69. Let f = o + -4. Let s = 1.1 + f. Is 1 at most as big as s?
True
Let k be (-5)/(60/(-3127)) + 3/(-12). Which is greater: 259 or k?
k
Let n = 115 - 115.24. Let b = 0.76 - n. Is b < -21?
False
Let a = -26 + 63. Let u = -67 + 103. Is u != a?
True
Let l = -3 - -12. Let f = 8.86 - l. Let s = f + 0.24. Which is smaller: s or -1/2?
-1/2
Suppose t = 5*b - 5 - 1, 0 = -2*t + 4*b. Let q be 0/(2 - 1) + -6. Let r = -3 - q. Is r < t?
True
Let x = 1173 - 1158. Do 2.6 and x have the same value?
False
Let u(s) = s + 4. Let k be u(-5). Suppose 6*p = -86 - 94. Let f = p - -175/6. Which is smaller: k or f?
k
Let d(l) = 6*l - 2. Let t be d(4). Let s(f) = -f**3 + 6*f**2 - 4*f - 2. Let w be s(4). Let y = w - t. Does -8 = y?
True
Let i be (1 + 9)/(44/1108). Let h = i - 252. Is h equal to 0?
False
Let v(w) = w**2 - 16*w + 100. Let x be v(6). Which is greater: x or 41?
41
Let u = -15 + 22. Let r = u - 6.8. Is -3/10 less than r?
True
Let s = -1/31238 - 61127/42140062. Is s >= 0?
False
Let s = -29.5 + 40. Let p = -12 + s. Let r = -1.1 - p. Is r at most 1/2?
True
Let t = -6.9 + 7. Let o = -7 + 6.96. Let d = 0.36 - o. Are t and d equal?
False
Suppose s + 1 = -1, 2*s - 269 = 3*l. Let r = -457/5 - l. Which is greater: r or -0.1?
-0.1
Let z(i) = -2*i - 20. Let o be z(-8). Let k be (-1)/(3/(o - -7)). Is 2/91 less than or equal to k?
False
Let v = -72 + 79. Which is smaller: v or 65/9?
v
Suppose 4*y = -y + 45. Suppose 4*x + 5*x = 72. Which is smaller: y or x?
x
Let w = -8 - -11. Suppose 0 = -3*q + 1 + 5, w*q - 14 = -4*m. Suppose 6*u + s = u + 7, 0 = -5*s + 10. Is u at least as big as m?
False
Let r(p) = 4*p + 14. Let o be r(-6). Let f = 41 - 49. Is o bigger than f?
False
Let k be -6 - -2 - (31 - 8). Is k not equal to -27?
False
Let j be -11 + -1 + -3 + 5. Let k = 14 + j. Suppose -k*i + 0*s + 16 = 4*s, 15 = 5*s. Which is greater: i or 9/4?
9/4
Let z = 391531/11 + -35567. Let f = z - 7960/297. Let x be 0 - (-1)/(2 + -3). Which is smaller: x or f?
x
Let c be 0 - (-5 - (-650)/135). Is c equal to 1?
False
Suppose 0*b + 369 = 9*b. Let i = 14 - b. Is -27 at most as big as i?
True
Suppose 0 = a + a - 72. Let w be (-6)/4*16/a. Let n(d) = -d**3 - 2*d**2 + 82*d - 17. Let o be n(8). Are w and o non-equal?
True
Let f be 0/1*-1 + -30. Let o be (27/f)/(6/5). Let i = 0.0091 - 0.1091. Is i greater than o?
True
Let k = -10.04 - -10. Let m = k - -0.03. Suppose j = 4*l - 2 + 5, -j = -5*l - 3. Is l != m?
True
Let j(s) = s**2 + 7*s - 4 + 10 + 6. Let u be j(-5). Suppose 12 = 4*z, 2*c - u*z - 29 = z. Is 18 less than c?
True
Let b = 17 + -23. Let t be (-8)/b*39/(-26). Is t greater than -5?
True
Let g be 282590/(-85946) + 3/7 + 1. Let i = g + 2/877. Which is smaller: i or -3?
-3
Let y = 7.22 + 0.78. Which is greater: y or -90?
y
Let t(z) = -z**3 - 13*z**2 - 6*z - 79. Let p be t(-13). Are p and -5/9 nonequal?
True
Let x = -7 - 9. Suppose 6 = 22*j - 19*j. Suppose 3*t - 5*d + 58 = 0, 4*d = -j*t + 5*t + 56. Is t > x?
False
Let z = -360 - -585. Suppose -3*j - 3*i = -2*i - z, -2*i - 6 = 0. Which is greater: j or 75?
j
Let z be 328/76 + (3 - 7). Which is smaller: z or -1?
-1
Let t be 396/24 + 1/(-2). Let n be t/282*90/8. Let g = n - 48/517. Is 2 >= g?
True
Let g be (-2248)/(-320) + (140/4)/(-5). Do -1 and g have the same value?
False
Let y(s) = -41*s - 81. Let c be y(-2). Is c greater than -3/778?
True
Suppose -h + 9 = 5*m - 4*h, 4*h + 12 = 3*m. Let c be (-2)/14*2/(-5). Is m smaller than c?
True
Let i = -7073.1 - -7073. Let s = 3 + -1.8. Let u = s + -0.2. Do i and u have the same value?
False
Let m = 244 - 243. Which is greater: -231 or m?
m
Let m = 6303 + -12273/2. Let g be 24/40 - (802/(-5) + 1). Let n = m - g. Which is smaller: 6 or n?
6
Suppose -5*z - 28*w - 5 = -29*w, 0 = 4*z + 2*w + 4. Is z not equal to -1/457?
True
Let a = 1/1468 + -8881/107164. Which is smaller: 0 or a?
a
Let z = -11 - -16. Suppose -5 = -t - z. Which is smaller: t or -2/213?
-2/213
Suppose -10*h + 6 = -4*h. Let p = 1417/7 + -202. Which is smaller: h or p?
p
Let d = 0 - 0.8. Let j be (7 - -1)*(-130)/104. Let f be -1*(-5)/j*-1. Is d at least f?
False
Let a = 299 - 292. Is a equal to 11?
False
Let w be (-1)/(-3 + 6/1). Let h be ((-105)/(-10))/(-7) + 50/28. Which is bigger: h or w?
h
Suppose -y + 5*x = -3*y - 11, -3*x - 17 = -4*y. Suppose -5*o = -y*o + 159. Is o <= -1/4?
True
Let c = 14.4 + -15. Let t = 911.7 + -912. Is t greater than c?
True
Suppose 6*z - 52 - 230 = 0. Which is bigger: z or 46?
z
Let n = 29 - -29. Let d = -16 + 17. Let l be (d - 1) + 1/n. Which is greater: 0 or l?
l
Suppose -4*x = l + 2*l - 115, 2*x - 55 = l. Suppose -5*o = -5*k - 150, 12 = 4*k + x. Is 25 less than or equal to o?
True
Let g(x) = -x**3 - 3*x**2 + 8*x + 10. Let q be g(-5). Suppose 3*h - q = -h. Let a be 94/18 + (-15)/h. Which is greater: 3 or a?
3
Let n = -79 + 126. Let b = n + -46.98. Which is smaller: -1/10 or b?
-1/10
Let n be (-10)/(-6)*31/(-155). Let k = -0.3 + -2.7. Which is greater: k or n?
n
Let z = 19 + -36. Let n = z - -15. Let h = -2.1 - -2.1. Which is smaller: n or h?
n
Let c = 1414 - 308251/218. Is c <= -1?
False
Suppose 2*x - 19 = -15. Suppose 4*t = -2*q + 76, x*t - 57 = -t + 5*q. Is t != 20?
True
Let f(v) = v**3 + 6*v**2 - v - 4. Let t be f(-6). Let r be 3 - (t - 6 - -14). Suppose 2*o = -0 - 16. Which is smaller: o or r?
o
Let y(h) = 42*h - 4. Let d be y(2). Let l = d + 12. Let u = -553/6 + l. Are 0 and u equal?
False
Let p = -189946/5013 - -341/9. Is p > 0?
False
Let o = -7/251 - 467/1255. Are o and -0.58 equal?
False
Suppose -3*i + 14 = 20. Which is bigger: i or -107?
i
Let b = -8085341/65094 - -2360/19. Which is bigger: b or -1?
b
Suppose -p = -4*a - 1, -a - a = -3*p + 3. Suppose a = -21*y + 23*y + 74. Is y at most -39?
False
Let w(u) = -u**3 - 24*u**2 - 26*u + 105