t u = 242.374 - 242.4. Is u bigger than 11?
False
Let h be (-76)/(-171) + (-526)/90. Let t be (-3)/(-4) + (-19)/4. Which is smaller: t or h?
h
Suppose -11 = -2*f - 3*i + 12, 5*f + 4*i - 68 = 0. Suppose -2*w + 5*t - f = t, -5*t + 13 = -2*w. Let x be (-480)/1484 - 4/w. Are x and 1 nonequal?
True
Suppose 18*w = 21*w + 5*n - 43, 0 = -5*w - 5*n + 55. Let s = 2 + 4. Is s bigger than w?
False
Let j = -129 - -474. Let f be ((-2720)/j)/4 + 2. Which is greater: -1 or f?
f
Let l(a) = a**2 - 11*a + 7. Let v be l(10). Let g be (-24)/1028*((-7)/v - 2). Is 1 at most as big as g?
False
Let g(i) = -2*i**2 + 22*i - 15. Let k be g(10). Let o be (-7)/k - (-36)/90. Let y be (2/38)/((-2)/4). Does y = o?
False
Let r be -7 + -2 + 2/(-3). Let k = -197 + 188. Which is smaller: k or r?
r
Let c be 2/(-8) - (-3014)/2200. Which is bigger: 1 or c?
c
Suppose 3*u - 30 = -3*s, 2*s + 3*s + u = 30. Suppose 3*f = -f + s*z + 4, 2 = 2*f - 5*z. Which is smaller: f or 2/29?
2/29
Let n = 13 - 13. Let y = 2722807/3819266 + 1/201014. Let z = 17/19 - y. Are n and z nonequal?
True
Let v = 238 - 246. Is -43/5 greater than or equal to v?
False
Let x = 622.1 + -622. Let v = 2 + -2.2. Let r = -0.3 - v. Do x and r have the same value?
False
Let l(n) = -2*n**3 + 4*n**2 - n - 2. Let j be l(2). Let x be 6/(-4) + -5 + 159/6. Suppose 3*o - k = -20, -6*k - x = 5*o - 5*k. Which is greater: o or j?
j
Let w be 0 + -1 + 3/(-9). Let v(d) = -d**3 + 7*d**2 + 18*d - 10. Let b(f) = -2*f - 1. Let x(c) = -4*b(c) - v(c). Let i be x(8). Which is bigger: i or w?
w
Let u(k) = 12*k - 28. Let q be u(3). Suppose 0 = -q*w - w - 378. Does w = -43?
False
Let y be (1/12)/((-6)/(-16)). Let x = y - -23/18. Suppose -4 = 4*h - 8. Is x < h?
False
Suppose -36*f + 75*f = 31*f. Which is greater: f or -1/961?
f
Suppose -3*h + 1 = 4. Suppose -g - 2 + 4 = 0. Suppose -4*f - 22 = -g*f. Which is smaller: h or f?
f
Let b(t) = -t**2 - 26*t + 6. Let a be b(-4). Which is greater: 90 or a?
a
Suppose -4*v = -5*b + 9, -2 = -5*b + v + 4. Let x be b*-4 - (-404)/104. Is 0 at least as big as x?
True
Let n = 242 + -18151/75. Which is smaller: n or -0.1?
-0.1
Let b = 68 - 70.5. Let j = b + 5.5. Is 1 less than j?
True
Let p(u) = u + 2. Let o be p(4). Let m(v) = v**2 - 7*v + 8. Let q be m(o). Which is bigger: q or 9/10?
q
Suppose a - 32 = -g, 3*g - 4*g - 2*a + 30 = 0. Let f = g - 42. Is -9 equal to f?
False
Let p = 58 - 47. Which is bigger: p or -2/9?
p
Suppose 4*t + 6 = -3*u, 10 = -3*t - 0*t - 5*u. Suppose 3*y + 58 = -2*m + 5*y, 3*m + 3*y + 57 = t. Is m smaller than -24?
False
Let u(g) = -g**3 - 6*g**2 - 6*g + 5. Let d be u(-5). Let x = -7 - -5. Let m be x - (-4 - (10 - 2)). Is m less than d?
False
Let l(k) = 2*k**3 + 17*k**2 + 15. Let q be l(-10). Do -286 and q have different values?
True
Let y = -178 - -268. Suppose -j = y - 91. Which is greater: j or 1/5?
j
Let u(g) = 2*g + 12. Let q be u(-3). Suppose -3*r + 3 = j, j - 4 = 2*r - q*r. Is j equal to -1/60?
False
Let s = 2668/17 - 157. Let t be 0*(21/(-6) + 3). Suppose 3*f - 12 = j, -4*j - f - 2*f + 12 = t. Which is smaller: s or j?
s
Suppose -2*u + z + 13 = 0, -5*z + 4*z - 21 = -3*u. Let m = u - 5. Suppose -2*f + 7 - 3 = 0. Is m less than f?
False
Suppose r - 2*r + 35 = 0. Let p = r - 36. Is p smaller than -1/3?
True
Let k = -57/17 - -1243/391. Let u = -16 + 17. Which is smaller: k or u?
k
Let i = -27 - -18. Suppose 0 = -17*r + 15*r + 6. Suppose -5*h + 7 = -r*a - 9, 5*a + 2*h + 37 = 0. Do i and a have the same value?
False
Let i be ((2 + -3)*-4)/2. Suppose -6*o + 7*o = i. Let f be 30/(-36)*(-84)/15 + -4. Is f smaller than o?
True
Let x = 1689.22 - 1704. Let b = x - -15. Let v = 0.16 - b. Which is smaller: 2 or v?
v
Let m be 988964/780 - 1/(-5). Let y = m + -1268. Let u = 14/117 + y. Which is smaller: 0.2 or u?
0.2
Let t(x) = -x**3 + 4*x**2 + 5*x + 4. Let k be t(5). Suppose -u - 78 = -k*u. Let z = u + -25. Which is smaller: 2 or z?
z
Let q be (-2)/6 + (-3)/(63/14). Which is smaller: q or -4/3?
-4/3
Let w(m) = m**2 + 27*m - 941. Let n be w(20). Let s = 62/7 + -9. Is n less than s?
True
Let c = -2.52 - 100.48. Which is smaller: 0 or c?
c
Let c = -263 + 1057/4. Suppose 0 = -15*o - 17 + 92. Suppose -5*d + 4*l + 2 = 0, -3*d = 4*l - 9 - o. Is d != c?
True
Let o = 2005/264 - 248/33. Which is smaller: 1 or o?
o
Suppose 0 = k + 7 + 4. Let f = 317/3 - 105. Which is smaller: f or k?
k
Suppose 4*g = -42 + 6. Let t be (12/(-14))/(g/42). Suppose 6 = t*z - 3*z. Which is bigger: 4 or z?
z
Let r = -1.1 + 0.1. Let q = -0.974 - -0.974. Which is smaller: q or r?
r
Suppose -34 + 4 = 5*h. Let m = h + 26. Let u be ((-18)/15)/((-15)/m). Which is smaller: 2 or u?
u
Suppose -31*o + 24*o + 7 = 0. Which is smaller: o or -12/91?
-12/91
Suppose 28*c = 30*c + 14. Let z be ((-1)/(-7))/(35/c). Is z >= 0.3?
False
Let p(o) = o**3 + 3*o**2 + 2. Let g be p(-3). Let q = 33 - 31. Suppose -7*h = q*h - 45. Is g >= h?
False
Let c = 0.44 + -0.06. Let k = c - -28.62. Is k != 0.1?
True
Suppose -15*w + 17*w + 16 = 0. Let r(h) = 2*h - 6 - 5*h - 1. Let q be r(w). Is q greater than 17?
False
Let o = -268 + 567. Does 298 = o?
False
Suppose 41*t + 23 + 264 = 0. Let s = -8 + 2. Which is smaller: t or s?
t
Let a(l) = -l - 11. Let k(v) = -12 + 3*v - 8*v + 2*v - 22. Let y(w) = -11*a(w) + 4*k(w). Let s be y(-8). Which is bigger: s or -8?
s
Suppose -43 = 2*y + 5*t, 2*y + t = -29 - 10. Is -17 bigger than y?
True
Let v be (-45)/(-2)*((-3)/9 + -1). Which is smaller: -12 or v?
v
Let z(p) = p**2 + 4*p**3 - 15*p**3 - 3*p**2 + 1. Let b be z(1). Is b greater than -13?
True
Let s = -37 + 47. Let j = s - 9.9. Which is smaller: j or -1?
-1
Suppose -y = 0, 5*v - 2*y = -4*y + 1200. Suppose g - 13*g = v. Which is greater: -21 or g?
g
Let i be -56*((-255)/6)/(-5). Let b be (9 - 13) + 11*1. Let l be (-1)/b - 124/i. Which is smaller: l or 1?
l
Let c(w) = 2*w + 4. Let g be c(4). Let x = 777.1 - 774.1. Which is greater: g or x?
g
Let l be (-1)/(10/4) - 564/(-60). Let n be (13/52)/(l/(-8)). Which is bigger: -14 or n?
n
Suppose -4*q - 92 = -3*v, -2*q = -7*q + v - 126. Let c(w) = -w + 17. Let x be c(11). Let k be (x/18)/(q/180). Is k != -2?
True
Let v = 1089/4324 + -2/1081. Is v at least -4/77?
True
Suppose -5*h + 5 + 10 = 0. Suppose -3*a - h*l + 52 = 13, -a = 4*l - 1. Which is greater: a or 18?
18
Let m = -1/202 + -399/1010. Let s = 483 + -321. Let r = s + -167. Which is smaller: r or m?
r
Let v = 1.36 - 90.36. Let d = v - -74. Is d != 1?
True
Let q = -143/4 + 106/3. Are 0 and q equal?
False
Let t = 23 - 19. Suppose t*b - 88 = -0*b. Let g = b + -22. Which is smaller: 1 or g?
g
Let v be 16*(-4 - 9/2*-1). Suppose 4*g + 3*f - 12 = 0, 5*f - 20 = -v*g + 6*g. Which is greater: g or -7/8?
g
Suppose -3*i = -9*i - 12. Let t be 3*(i - (-4)/(-6)). Is t != -1?
True
Let i be (-2)/7 - 386/70. Let a be 16/(-14) + (-680)/140. Which is smaller: a or i?
a
Let s be ((-48)/144)/((-7)/(-18)). Let c be ((-3)/4)/((-6)/(-4)). Do c and s have the same value?
False
Let g = 1/6 + 13/30. Let j be 315/(-385) - (-3 - -2). Are g and j equal?
False
Let f be ((-8)/(-6))/((-8)/(-12)). Suppose 4*y + 25 = -y, -4*p + f*y = 102. Is p smaller than -28?
False
Let q = -182 + 181. Which is greater: q or 56?
56
Let f = 493.8 + -475.777. Let g = f - -2.947. Let y = -0.03 - g. Which is greater: 0.1 or y?
0.1
Suppose 6 = 3*p - 0*p. Let r = -22 + 44. Let b = r - 107/5. Is p not equal to b?
True
Let o = -6 - 0. Suppose -2*r - 4 = 0, 3*c + 19 + 1 = 2*r. Let i be (-5)/(1 - -4 - c/(-2)). Which is smaller: i or o?
o
Suppose 35 = -6*b - b. Let x be (-12 - 3)/b + (-2 - 0). Which is greater: 4/3 or x?
4/3
Suppose -2*f - 558 = -4*q, q + 294 = 10*f - 11*f. Which is bigger: -290 or f?
f
Suppose 0*h - 3*h + 18 = -2*f, -5*h = -4*f - 28. Suppose -w + 3 = -j - 1, w + 4*j = -1. Suppose 0*g = g + w*k - 14, -34 = -5*g + 3*k. Is g greater than h?
False
Let a = 0.2 + -0.2. Let v = 673 - 741.1. Let u = 68 + v. Is a not equal to u?
True
Suppose -21 = t - 11. Let v be (-24)/20*t/4. Let a be 51/9 - 2/v. Is a smaller than 6?
True
Let s be -2 + (-4)/(-12)*201. Suppose s = -i - 4*i. Which is smaller: -10 or i?
i
Let r = -12647/58 - -218. Is r at least 1?
False
Let d be 5*5/((-180)/4). Which is smaller: d or -1?
-1
Suppose 2*c + 0*c + 10 = -z, z - 4*c = -4. Let v = 12 + z. Suppose 4*g - 2*q + 30 = 0, -v*q + 3 = 3*g - 2. Which is smaller: -0.1 