57 or w?
w
Suppose -14*a = -10*a - 4. Which is smaller: a or -4.3?
-4.3
Let a(n) = -4*n. Let b be a(7). Let i be 6/b*6/18. Let v = -6 - -7. Is v > i?
True
Let a = -2 + 7. Suppose -a*b - 5 = 0, 1 = r + r + 5*b. Let y = -5772 - -5769. Which is smaller: r or y?
y
Let g = -9510 + 9510. Let h = -431/6 - -72. Which is smaller: h or g?
g
Let l = -541/2 - -270. Let p = -4 - -7. Let b = 2 - p. Is l greater than or equal to b?
True
Suppose 2*g = 4*r - 4736, -6*r = -4*r + 2*g - 2374. Let y = r - 7085/6. Do y and -1 have the same value?
False
Let u = -121 - -119. Is -22/41 >= u?
True
Let x be 1 + 51/2 + 3/(-6). Suppose 0*d + 5*d - n = 65, -4*n = -2*d + x. Is 1 >= d?
False
Let p be 8 + 11/((-99)/1872). Is p < -199?
True
Let m be ((-2)/4)/(23/(-2484)). Is m less than 53?
False
Let m be ((-9)/27)/(26/60)*-1. Let u(c) = c + 6. Let s be u(-6). Suppose s = -b - 2*b. Which is smaller: m or b?
b
Suppose s - 5*s + o + 17 = 0, s + 3*o + 12 = 0. Let z be (-6 - -2) + (s - -70). Is z > 69?
False
Let y = -3 - -1. Let w = 0.25 + 48.75. Let q = 53 - w. Which is smaller: q or y?
y
Let o be (3/(-9))/(1 + (-124)/126). Is 1 at least o?
True
Let y be 4/1 - (15 + -50). Let z = y + -42. Which is smaller: z or -6?
-6
Suppose 2*l + 466 = -2*y, -4*l + 2*y + 123 = 1067. Which is smaller: -232 or l?
l
Let d(x) = -2 - 2 + 9 - x**3. Let m be d(0). Which is greater: m or 2?
m
Suppose 0 = 10*b - 19*b + 405. Which is smaller: b or 44?
44
Suppose 9*s - 582 = 4*s - 3*c, -233 = -2*s - c. Let m be (s/156)/(18/32). Are m and 1 equal?
False
Let w = -10.3 - 1.7. Let h = 20 + -41. Let q = 20.9 + h. Which is smaller: w or q?
w
Let z = 3050 + -21464/7. Is -16 >= z?
True
Suppose 355 = -3*r + 5*d, -19*r - 450 = -15*r - 2*d. Which is greater: 7 or r?
7
Let o be 0 - (-12)/(2 + -4). Suppose 6973*r + 38 = 6992*r. Which is smaller: o or r?
o
Suppose 1 = -2*g + 3. Let n be 1 - (5 + 2/g). Let b be 4/16*4 - 1. Which is smaller: n or b?
n
Let b = 65 + -68. Let y = b - -16/5. Which is bigger: y or -0.01?
y
Let c(m) = -m**3 - 18*m**2 - 29*m + 5. Let j be c(-16). Which is greater: -36 or j?
-36
Let k = 0.078 - -32.922. Let u = k + -32.95. Let i = u - 2.05. Which is bigger: 4 or i?
4
Suppose 4 = -3*s + 1. Let w(q) = -163*q + 2. Let h be w(-1). Let k = h - 1481/9. Is k not equal to s?
True
Let y = -9.8 + 57.8. Let c = 52 - y. Are c and 2/9 nonequal?
True
Let w(s) = s**2 - 17*s + 13. Let h be w(4). Is h > -40?
True
Let u = 10 + -8. Let i be 3/u - 5/2. Which is smaller: 2/9 or i?
i
Let p = 26 - 42. Is p < 9/8?
True
Let s be ((8/(-3))/(-4))/((-3)/(-18)). Suppose -s - 6 = -5*k. Is k smaller than 0.07?
False
Let p = 7/300 - 739/38100. Which is smaller: p or 0?
0
Let j = 1995479 + -1328989607/666. Let k = j + 17/18. Which is greater: 6 or k?
6
Let g be (-9 + 8)*(-262)/6. Let y = g - 44. Let s = -41.7 + 41. Which is greater: y or s?
y
Let r be 6*5/(3*(2 - 0)). Suppose 5*l + k = -4*k, -5 = r*k. Let n = -2/123 - 37/246. Which is bigger: l or n?
l
Let l be (2 - 0 - (8 + -5))/(-1). Let x be ((-12)/(-8))/((-3)/4). Let w = l + x. Which is smaller: -2 or w?
-2
Let c = 7 - -3. Suppose c*r - 5*r + 155 = 0. Let b = r - -54. Which is bigger: b or 22?
b
Let c = 24 - 17. Let f = 5 + c. Suppose -3 = j - f. Which is smaller: j or 2?
2
Let p be 5/(-15) - 10/60. Which is greater: 4/5 or p?
4/5
Suppose 0 = -2*p - 5*u + 32 + 17, 46 = 3*p + 2*u. Suppose q = 5*y - q + p, -16 = 2*y + 2*q. Let v be 1*((y - 1) + 2). Is -3 bigger than v?
False
Let n be 0 + 4/(-18) - 84/1323. Suppose s + 3 = 0, 6*l + 3*s - 1 = l. Suppose 5*b - l*b = 0. Is b smaller than n?
False
Suppose -6 = 2*q - 0*q + 3*k, -8 = q + 4*k. Suppose 5*t + 5*p = -5, 0 = -2*t - 4*p - q*p. Which is smaller: t or -3?
-3
Let k = 0 - 1. Let w = -13.38 + 17.5. Let v = 0.12 - w. Which is bigger: k or v?
k
Let d(f) = f**3 - 3*f**2 + 4*f - 3. Let q be d(2). Let m(j) = -5*j + 3. Let y be m(q). Which is smaller: y or -6?
-6
Let l = -22 + 35. Let z = l + -32. Let d = z + 18.9. Is d < 7?
True
Let o = -1081 + 1116. Which is smaller: o or 30?
30
Let l = 1950 - 5689/3. Which is smaller: l or -1?
-1
Let h be 399 - 393 - (-14)/4*-2. Is -3/40 != h?
True
Let v = -8 - -4. Let d = 675 - 674. Do d and v have different values?
True
Let a = -2.818 - -0.058. Let m = -3.3 - a. Which is bigger: m or 0?
0
Let h be 600/(-216) + (-6)/27. Is 0.13 less than h?
False
Let p = 176 + -166.8. Let w = 11.3 + -2.3. Let d = p - w. Do d and -0.2 have different values?
True
Suppose -56*i + 15 = -59*i - 3*j, -2*j = -i + 10. Let b(a) = -a + 2. Let l(h) = -h**2 + h + 2. Let c be l(2). Let p be b(c). Which is smaller: i or p?
i
Let j be 3*((-44)/(-12) - 3). Suppose -x - 15 - j = 0. Let h be (-4)/14 - 1170/70. Is h at least as big as x?
True
Let f(j) = -57*j**2. Let v be f(-1). Let c = -52 - v. Is c smaller than 12?
True
Let n = -102922617/1398305 + 1/147190. Let u = 147/2 + n. Suppose 0 = -4*g + 5*p - 10, -3*g + 0 + 6 = 3*p. Which is smaller: g or u?
u
Let t = -875 - -844. Which is greater: -7 or t?
-7
Let d = 248 - 114. Suppose 139*v - 85 = d*v. Let c be 3/(-12) + 2/8. Which is smaller: c or v?
c
Suppose 18 = 6*k + 66. Let v be ((-44)/k + -5)*(-1)/(-2). Which is greater: -39/2 or v?
v
Let g(p) = -p**2 - p - 5. Let m be g(0). Let h be (-5)/(-20)*4/m. Which is greater: h or 1/11?
1/11
Let s(u) = 19*u + 7. Let h be s(-2). Let j = h + 29. Is -1 at least j?
True
Let c = -10049/23 + 437. Let b = 0.6 + 0.4. Let j = b + -1. Is j bigger than c?
False
Suppose -2*z = 2*f - z + 7, z + 3 = 0. Let o be (-9)/(27/6) - f. Which is smaller: o or -31?
-31
Suppose 38*k - 35*k = -18. Let m be ((-3)/(-7))/((-9)/k). Which is smaller: m or 20?
m
Let d = 64.1756 + 0.0844. Let s = 64 - d. Let o = 1.1 + -0.1. Which is smaller: s or o?
s
Let b(i) = 22*i**3 - 2*i**2 - 2*i - 6. Let v(p) = 23*p**3 - 2*p**2 - p - 5. Let y(l) = 4*b(l) - 5*v(l). Let c be y(1). Is -25 equal to c?
False
Let l be 264/(-1188) - (1 - 19/18). Is l not equal to 24?
True
Let v be (-708)/(-16) - 4/(-8). Let j = v - 45. Let p = -8 - -8.5. Is j >= p?
False
Let v(t) = -4*t + 5*t + 23 - 18 - 11. Let a be v(6). Which is greater: 1 or a?
1
Let i be (84/98)/((4/2)/(-112)). Let a(q) = -5*q - 23. Let x be a(-5). Is x at least as big as i?
True
Let a = -19 - -139. Let d = -119.93 + a. Which is smaller: d or -1?
-1
Suppose 0 = -0*u - 4*u. Let c be (-2)/5*78270/192. Let x = -163 - c. Does u = x?
False
Let v = 1.2 - -11.8. Let r = v - 3. Let x = -9.9 + r. Which is greater: x or -3/2?
x
Let m = -17.5 - -141.5. Do m and -1/3 have the same value?
False
Let s = -406 - -399. Which is smaller: -16 or s?
-16
Let v(t) = 5 - 3*t**2 + 2*t**3 - 3 - t**3 - 2*t. Let g be v(-3). Which is bigger: -0.1 or g?
-0.1
Let c = 30 - 30.055. Let b = c + 0.005. Let q = 2/9 - -5/18. Which is smaller: b or q?
b
Suppose -2*d - 8 = -3*r, 2*r - 3*d = 3 + 4. Let u be -66*4/(-16)*r. Which is bigger: u or -2?
u
Suppose v + 1916 = 5*r, 13*v - 3 = 16*v. Do 384 and r have different values?
True
Let z be (-11)/((-33)/30) + 4. Let y = z + -15. Let l be ((-1)/(-1))/(y/(-2)). Which is smaller: l or 1/2?
1/2
Suppose 6 = -4*d + 18. Let i be d/(-405)*3/(-6). Let z = i - -107/270. Which is greater: 0 or z?
z
Let m(j) = j**3 + 2*j**2 + j - 2. Let v be m(-3). Let t = -5855/3 + 1951. Which is smaller: v or t?
v
Let h be 2/(((-6)/4)/(-3)). Suppose 14*z + 50 - 8 = 0. Let d be h + 26*z/21. Is 7 equal to d?
False
Let s(m) = -m**2 + 13*m + 2. Let q be s(13). Suppose -6 = q*a - 52. Is 23 at least as big as a?
True
Let x be -4 + (-5)/((-15)/147). Let q be 24/10 - 18/x. Which is smaller: 6 or q?
q
Let m be 4/18 + 1208/396. Do m and 3 have the same value?
False
Let i be 1625/175 + (4/(-14) - 0). Suppose 34 = -3*k - 4*y, -13 = k + 4*y + i. Which is bigger: k or -40/7?
-40/7
Suppose -9*r = 3*n - 4*r + 24, 5*n - 2*r = -71. Is n greater than or equal to 35?
False
Suppose 81*z - 162332 + 54521 = 0. Which is smaller: z or 1330?
1330
Let q = 0.38 + -0.28. Let u = -0.7 - -0.4. Let m = u + 0.5. Is m less than q?
False
Let v be 1504/(-17550) + (-36)/(-450). Are 1 and v equal?
False
Let h = 18 + -25. Suppose -37 - 30 = 67*k. Is h at least as big as k?
False
Let x(b) = -b**2 + 1. Let l be x(0). Let m be (7 - l)*(-8)/(-54). Let v be (-1)/2 - (-6)/4. Which is smaller: v or m?
m
Let m(x) = 2*x - 1. Let i(q) = -2*q + 1. Let j(b) = -2*i(b) - 3*m(b). Let w be j(-3). 