 different values?
True
Let a = 57 - 42. Is a bigger than 24?
False
Let w = 171 - 190. Which is smaller: -1 or w?
w
Let z(f) = f**2 + 21*f + 85. Let x be z(-15). Are x and -29 non-equal?
True
Let x be (-1)/(2 - (-12)/(-8)). Let y be (x - -3)*(6 - 1). Suppose -y*k = -n - k + 27, -34 = -2*n + 4*k. Is 9 less than n?
False
Let l be ((-3)/(12 - 3))/((-1)/57). Are -5 and l non-equal?
True
Let f(w) = -10*w + 60. Let g be f(7). Is g at most as big as 3/8?
True
Let r be (-80)/3 - (70/(-15) - -4). Which is smaller: r or -23?
r
Let h(a) = -a + 11. Let d be h(11). Suppose -5*x + 2 = 4*c + 5, -x - 3*c + 6 = d. Let l be (-3 + 2852/948)*x. Which is smaller: l or 1?
l
Let u = 84.806 + 0.194. Let b = u - 83.4. Which is smaller: 0.2 or b?
0.2
Suppose -o - 12 = -4*k, 1 = k - 2. Let p be ((-4)/(-30))/((-6)/(-8740)). Let y = p + -194. Which is smaller: y or o?
o
Suppose 0*a = 5*z - 2*a - 660, 0 = -2*z - 4*a + 264. Let j be (-2)/5 - (z/(-30) - -3). Is 0.28 greater than j?
False
Let g = 575 - 569.178. Let k = g + -0.022. Let l = k + -2.8. Which is greater: -6 or l?
l
Suppose 404 = -7*b - 114. Which is smaller: b or -76?
-76
Let d(q) = -13*q - 472. Let v be d(0). Which is smaller: -471 or v?
v
Let s(c) = 4*c**2 - 15*c - 10. Let p(r) = 7*r**2 - 29*r - 19. Let t(o) = 6*p(o) - 11*s(o). Let l be t(-4). Which is smaller: l or -3/10?
-3/10
Let t be 9/(-2 - -5)*-1. Let y = 10 + t. Suppose -3*g + 2*g = 4*b + y, -b - 32 = 3*g. Do g and -12 have the same value?
False
Let t = -12566 + 11171178/889. Which is smaller: t or 1?
t
Let d = 0 - -2/7. Let l = 1.33 + -62.33. Let b = l - -66. Is d smaller than b?
True
Suppose -4*u + u + 9 = 0. Let v = 3 - u. Let d be (-4)/12 + 2/(-3). Is v < d?
False
Suppose 4*z - g + 24 = -2*g, 4*z + 12 = -4*g. Let j(k) = -k**2 - 7*k. Let l be j(z). Is -6 > l?
False
Suppose 4*u = 0, 20*q - u = 24*q - 4. Is q at most as big as 5/1017?
False
Suppose -2*l - 10 = -3*l. Let k = l + -2. Suppose -k + 2 = -3*u + 3*n, 2*u - 3*n = 6. Is 1/11 greater than or equal to u?
True
Let g be 0 + (-5 - -4 - -12). Suppose -3*z - w = -3*w - g, z + w = -3. Let f be -9 + 13 - 15/4. Which is smaller: f or z?
f
Let x = 0.01 - -3.99. Let m = x - 3.92. Let p = -8/297 + -58/297. Is m less than p?
False
Let b = 739/8234 - 1/358. Let z = -34 - -35. Suppose -2*j + j = z. Which is smaller: b or j?
j
Let f = 556 + -171. Let d be (-6)/(-33) - 400/f. Which is bigger: -2 or d?
d
Let h(f) = 2*f**3 - 17*f**2 - 34*f - 10. Let x be h(11). Is x bigger than 221?
False
Let d be ((-24)/(-16))/(0 + 1 - -2). Let u be -1 - 3/((-45)/13). Which is greater: u or d?
d
Suppose x - 51 = -5*l, 6*x - 2*x - 132 = 4*l. Let m = -17 + 2. Let u be 4/m*x/120. Which is smaller: u or 1?
u
Let h = -26 + 24.7. Let x = h + -15.7. Is x greater than 1?
False
Let c = -23 - -29. Let l = -6.1 + c. Which is bigger: -0.02 or l?
-0.02
Suppose -2*v = h - v + 204, v = 5*h + 996. Do -202 and h have different values?
True
Let x(v) = -v**2 - 58*v + 249. Let y be x(4). Which is greater: 18/151 or y?
y
Suppose 0 = -9*s + 265 + 5. Suppose -s = n + 4*n. Does n = -44/7?
False
Let u = 90 - 88.45. Let t = u + 3.15. Which is smaller: t or -0.2?
-0.2
Let l = 0.575 - 0.975. Let m = -2.9 + 3. Are m and l equal?
False
Let w = -41 - -43. Let o(z) = -z**2 - 6*z + 3. Let s be o(-5). Let y be w*(-2)/s*6. Which is smaller: -2 or y?
y
Let p = 157/190 + -10/19. Suppose -13 = 2*d - 5*b - 2, -b + 9 = 3*d. Suppose 2*m + m - d*m = 0. Is m greater than or equal to p?
False
Let x = -2597 - -2597. Suppose 3*y - 8 = 10. Let d be 10/(-66) - (-2)/y. Which is smaller: d or x?
x
Suppose -c = -2*m + 3, 0 = m - 4*m - c - 8. Is 0.119 at most m?
False
Let k = 1 + 1. Suppose -k*m - b = -8, 2*b - 1 - 7 = 0. Suppose v - v + 3*z = -v, -2*z = 0. Is v smaller than m?
True
Let x = -20 + 27. Let r = 0.05 - -7.95. Let q = r - 9. Which is greater: q or x?
x
Suppose -k = 3*j + 16, 0 = 4*k + 4*j + 123 - 19. Let l = -30 - k. Which is greater: 2 or l?
2
Suppose 0 = -5*p + 16 + 74. Let o = -349 - -356. Let x = p - o. Which is smaller: 12 or x?
x
Let h = -21 + 25. Let x be (-2)/(-2) - (-4)/h. Which is smaller: 4 or x?
x
Let d be 1 - (-7)/(-168)*28. Do 1 and d have the same value?
False
Let v(g) = g**2 + 7*g + 2. Let w be v(-7). Let h = -18 + 21. Suppose -y = d - h, -y = -2*d + w*y + 1. Which is smaller: 9/4 or d?
d
Let u = -3.42 + 3.5. Let z = -0.18 + u. Which is smaller: -24 or z?
-24
Let p = 445 - 451. Which is smaller: p or -8?
-8
Let u = 19777.17 + -19777. Let n = 1.4 + 0.6. Is n at most u?
False
Suppose -289 = 5*a - 4*o, 5*a - 4*a + 4*o + 53 = 0. Which is bigger: -55 or a?
-55
Let c = 7059/2 + -3597. Let b = -66 - c. Let z = b + -1. Is -1 less than or equal to z?
True
Let s(a) = 23*a + 12. Let q be s(9). Suppose 2*g = -g - q. Which is smaller: -72 or g?
g
Let w be 9/(-72) - (-498)/16. Let m = w - 33. Is m >= -15/7?
True
Let a(g) = -264*g**2 - 19*g - 18. Let o be a(-1). Which is bigger: -262 or o?
-262
Let j(w) = 71*w + 215. Let o be j(-3). Which is smaller: 525 or o?
o
Suppose 0 = -c - 0 - 4, 4*j + 2*c + 4 = 0. Is 1/9 at least as big as j?
False
Let g be ((-12)/(-8))/(2/(-4)) + 3. Suppose 8*n + 2*n + 340 = g. Which is bigger: n or -36?
n
Suppose g = -2*g - 5*l, 3 = -l. Suppose -11 = -g*k - 1. Which is smaller: k or -3?
-3
Let b be 53846/(-1526) - -2*(-2)/(-14). Is -4 at least b?
True
Let c = -5 - -2. Let r be (-7)/(-3) + 1/c. Suppose 0*n - r*n - 4 = 0. Is 0 != n?
True
Let c = -609/782 + -3/782. Is c at least as big as 0?
False
Let a be 6/21 + 19/7. Let k = 1.337 - 2.337. Is a <= k?
False
Let u be (8/(-40))/(-2 + (-609)/(-305)). Which is greater: 58 or u?
u
Let b(q) = -2*q**2 + q + 1. Suppose -2*h = -5*z + 5, z - 4*z = -4*h - 3. Let r be b(z). Is 10/11 greater than or equal to r?
True
Let x be 1*-1*2/134. Which is bigger: x or 0?
0
Let x = -47 + 53. Let d be 34/(-8) - (-5 + x)*-4. Are 2/13 and d nonequal?
True
Let n(h) = 39*h**2 + h. Let l be n(-1). Suppose -3*a + 8 = -4*f + 34, -4*f + l = -5*a. Suppose -3*w + m + 0 = 15, -w - 4*m = 5. Which is bigger: a or w?
w
Suppose -3*s + j = -43, j = 5*s + 6*j - 65. Let g = s + -14. Suppose 0 = r - 2 - g. Is r != 3/5?
True
Let c = 275 + -196. Is c > -2/3?
True
Let q be (-55)/77 - 10/35. Is q greater than or equal to -45/31?
True
Let v = 11 + -7. Let j = v - 7/3. Suppose 0 = 4*d - 2*d + 3*t - 15, -3*t - 6 = -5*d. Is d equal to j?
False
Let k = -2.9 + 3.28. Let c = k - -1.02. Let g = c - 1.45. Is -2 not equal to g?
True
Let s = 48 + -53. Let v(t) = 4*t + 6. Let h be v(s). Is -14 greater than or equal to h?
True
Let s = -48 - -47. Which is bigger: 1/284 or s?
1/284
Let a = 406.57 + -408. Is a smaller than 1?
True
Suppose -4*c - 33 - 7 = 0. Let y = 2 - c. Suppose -2*k = -2 - y. Which is smaller: k or 8?
k
Let s = 193 - 266. Is s less than -73?
False
Let d = -391 + 1000. Is d smaller than 609?
False
Suppose -35*t = -30*t + 130. Let d be (320/t)/(-4) - 3. Which is bigger: -0.1 or d?
d
Let t be -7 + 3 - (-1702)/(-14). Let y = -16659/133 - t. Which is smaller: 0.1 or y?
0.1
Suppose 154 = p + 2*u, 3*p + 14*u = 16*u + 422. Which is greater: 146 or p?
146
Suppose p + p + 16 = 0. Let g = -6 - p. Suppose -4 = -3*r + x, 3*x = 7*r - g*r - 8. Which is bigger: 5/7 or r?
r
Let v = 55 - 13. Let h = v + -37.2. Which is smaller: h or -0.1?
-0.1
Let u = -2 - -10. Let n(c) = 2*c**2 - 31*c + 51. Let h be n(14). Are h and u unequal?
True
Let b = 12 - 57. Let y be 0 + 0 + b/(-5). Suppose -10*r + y*r - 3 = 0. Is r bigger than -5?
True
Let n be 0 + (-310)/(-707) - 222/518. Suppose z = 2*z. Which is smaller: z or n?
z
Let l be 84/16 - (-2)/(-8). Suppose 0*q = -q + l. Suppose q*x - 3*x = 0. Which is greater: -2/9 or x?
x
Let y = 14 - 8. Let l = -27 - -29. Let j = y - l. Which is bigger: j or 1?
j
Let i = 98 + 75. Which is greater: 172 or i?
i
Let x be (-5 + 78/18)*6/92. Suppose 5*f = 5*k - 30, 22 = 3*k - 4*f - 0. Suppose -z = -2*p - 5, -2*z = -z - p - k. Are z and x non-equal?
True
Let q be 92/16 + (1 - 0). Let l = 328 - 321. Which is greater: l or q?
l
Let a = -6 + 5.97. Let s = -4.97 + a. Which is smaller: s or 2/7?
s
Let r(q) be the third derivative of q**4/8 + 23*q**3/6 + 40*q**2. Let b be r(-8). Which is greater: 2 or b?
2
Let o = -1266 - -828. Is -2 bigger than o?
True
Suppose 109*j + 0*j = 109. Let x = -0.4 - 0.1. Let t = 0.2 + x. Do j and t have the same 