y/(-6))/(42/27). Which is smaller: -1 or q?
-1
Let t = 2000 + -2000. Which is smaller: 19/25 or t?
t
Suppose -3*s + 4*r - 6 = 0, 0 = 5*s - 5*r + 5 + 5. Let h be s/(-4) - (-12 - -7)/(-10). Let c be ((-2)/1)/(26/5). Is h bigger than c?
True
Suppose w + 0 = -1. Suppose -2*b - 24 = 5*q - 4, -3*b = 2*q + 8. Let m be w + 1 - (q - -3). Which is bigger: 2 or m?
2
Suppose r - 5 = -5*b, 2*r = -b + 1 - 36. Let o be (-12)/4 + (-68)/r. Suppose 2*w = -5*g - 1, 3*g + 3 = 4*w - 8. Is g at least as big as o?
False
Suppose -137*p + 140*p + 1420 = -5*g, -4*g = -16. Is -0.1 bigger than p?
True
Let t be 7189/(-42) - 1*4/(-24). Is -171 <= t?
True
Let t(k) = -k**2 - 8*k - 2. Let u be t(-7). Suppose f - 3*f = -4*s + 18, u*s + 3*f + 5 = 0. Let r be (s/(-5))/((-12)/(-45)). Which is greater: -2/9 or r?
-2/9
Let o be ((-12)/18 + 3/(-3))*3. Is o less than -7?
False
Let g = 709 - 708.91. Which is bigger: -16 or g?
g
Let y = -709.05 + 709. Let w = 2.06 + -0.06. Which is greater: w or y?
w
Let r = 5/4 + -7/8. Let z(o) = -3*o**2 + 30*o + 28. Let m(c) = c**2 - 15*c - 14. Let w(s) = 5*m(s) + 2*z(s). Let a be w(-14). Is r less than or equal to a?
False
Let d be 9*((35/(-15))/(-1) + -3). Let s = -5 - -6. Which is smaller: s or d?
d
Let i = -188 - -111. Are -155/2 and i nonequal?
True
Let m = -125 - -123. Let w be m/4 - (762/524)/(-3). Does 1 = w?
False
Suppose d + 2*h + 7 = 0, -3*h = -3*d + 158 - 152. Suppose u - 5*x = -0*u + 3, 0 = -x. Let q be (27/120)/(u/(-4)). Is q greater than d?
True
Suppose -u = 5*w + 63, -2*w - 5*u + 21 = -5*w. Let m be 35/w + (-1)/(-4). Let o = 38 + -41. Which is smaller: m or o?
o
Let p be (-6)/(-4*(-4)/(-8)). Suppose j - 2*j - 10 = -5*q, 30 = p*j + 5*q. Let s be (-2*2/4)/j. Which is smaller: -1 or s?
-1
Suppose -181 = 3*i - 13*t + 11*t, -4*i + 5*t = 232. Which is smaller: i or -1/2?
i
Let f be (-4 - (-2 + -1))/((-6)/(-66)). Let a(o) = -o - 5. Let p be a(6). Is f > p?
False
Suppose 3*l = 2*l - 4*q + 69, 3*l = q + 194. Is -2 <= l?
True
Let v be (2 + 0)*(-62)/(-4). Let b = v - 37. Which is smaller: b or -9?
-9
Let j = -92 - -236. Which is bigger: 0.1 or j?
j
Let x be 42/35*10/(-3). Let v be -15 + (x + 1 - -5). Does -12 = v?
False
Let f = -0.2 + 0.5. Let g = -8548 - -8548.16. Is g at most f?
True
Let f(p) = p + 11. Let t be f(-11). Let o = -5 + 17. Suppose o*x - 10*x + 2 = 0. Do x and t have the same value?
False
Let h = 131 + -116.4. Are h and -2/5 nonequal?
True
Let o = -35 + -39. Let b = o + 75. Do b and 4/15 have the same value?
False
Let p = -55 - -94. Let x = -11 + p. Suppose 3*a = -5*i + x, a + i - 3*i = -9. Which is smaller: a or -2/21?
-2/21
Let b(o) = o**3 + 2*o**2 + 2*o + 1. Let h be b(0). Which is greater: 1/219 or h?
h
Suppose 2*f - 117 = -d - 3*f, d - 101 = 3*f. Let k = d + -107. Is k not equal to 2/119?
True
Suppose 57 = -4*r + c - 4, 0 = -2*r + 4*c - 48. Let j be -4*25/(-100)*(-26)/2. Is j < r?
False
Let v be ((-1)/(-2))/((-2)/(-4)). Let a = v - 0. Let b = -194/7 - -3672/133. Is b at most a?
True
Let z be ((-4)/8)/(-1)*-2. Suppose 5*d = -18 - 2. Let l be 2 - ((-13)/d + -1). Is l at least z?
True
Let t = 6 + -5.2. Let l = -1.5 + t. Let w = 0.67 + l. Is w greater than -1?
True
Let p be (-14)/(-22) - (-844)/2321. Which is smaller: p or 441?
p
Let d = 181 + -560. Is d smaller than -378?
True
Suppose -17 = -c + 5*x, 2*c - 5*x - 3 - 11 = 0. Let d be 6/4*c/(-9). Let h = -8 - -8.3. Is h greater than d?
False
Let p = 40 + -27. Let x = 193.6 + -193.7. Which is smaller: x or p?
x
Let w(f) = f**2 - 6*f - 1. Let x be w(0). Which is smaller: 4/33 or x?
x
Suppose -v + 3*v + 4*t - 24 = 0, -4*t + 16 = 0. Suppose -3*o + v*o = 3. Let s = -44.4 + 44.35. Which is greater: o or s?
o
Let l(x) = 3*x**2 + 4*x + 1. Let s be l(-1). Suppose s = -20*c - 12 - 8. Which is smaller: c or -19?
-19
Suppose 0 = 2*d - 13 + 3. Let k = d - 5. Which is greater: k or 3/8?
3/8
Let y = 0.125 - 6.025. Let p = y - -6. Suppose 3*o + o + 5 = 5*n, 4 = o - 3*n. Is o < p?
True
Let a = -17127/14 + 1228. Which is greater: 5 or a?
5
Suppose 3*n = -0*n - 2*y + 2, n = 2*y - 2. Let v = -236 - -236.004. Which is smaller: n or v?
n
Let j(n) = n**2 + 6*n + 6. Let z be j(-4). Let f = 95.8 + 29.2. Let k = 124.9 - f. Which is smaller: k or z?
z
Let c be 0 + 20/14 + -2. Suppose 0*q + q = 0. Suppose -11 - 5 = 2*n + 4*d, 3*n - 4*d - 6 = q. Is n equal to c?
False
Let r = -118/95 - -4/95. Let s = -783 + 787. Which is smaller: r or s?
r
Let n be ((-5)/10)/(1/(-10)). Suppose 5*m - s - s = 12, m = 3*s + n. Is m at least 12/13?
True
Let g = 16.6 - 15.63. Let d = -0.77 + g. Does 0.1 = d?
False
Let q(h) = 2*h**3 + 31*h**2 - 12*h + 105. Let u be q(-16). Which is greater: u or 21?
u
Let h = -17 + 21. Suppose -6*j - 4*k - 109 = -j, 59 = -3*j + h*k. Let z be (-15)/j + 2/7. Which is greater: z or 4?
4
Let x = 139 - 126. Are x and 15 equal?
False
Let f be 1 + (-6)/2 + 0. Let k be ((-20)/15)/(f/6). Suppose 5*y = -4*c - 28, -4*c - k*y = -9*y - 12. Is c greater than or equal to 0?
False
Let g(k) = -k**3 - 21*k**2 + 75*k + 58. Let m be g(-24). Which is smaller: m or -32?
-32
Let l be (-4)/(-14) + 40/7. Let k = 23 + -19. Suppose -2*q - k*z + 34 = 0, q - 5*q + 48 = 4*z. Which is greater: q or l?
q
Suppose -3*u - 81 = -108. Is u at least 16?
False
Let z be (-24)/(-10)*(-180)/(-792). Which is smaller: 2 or z?
z
Let y = 0 - -0.2. Let n = 111.4 - 111.54. Which is bigger: n or y?
y
Suppose 0 = -w, -w = 4*o + 2*w - 48. Suppose -o*z = -6*z. Which is smaller: -7/5 or z?
-7/5
Let r = -92 - -52. Are -39 and r non-equal?
True
Let l = -1508 - -1512. Are 7.1 and l equal?
False
Let u be ((1 - 1) + 1)/3. Let p = u + -19/39. Let k = -23/65 - p. Do -1 and k have the same value?
False
Let p(t) = t + 2. Let h be p(-1). Let w = 109/51 - 8/17. Which is smaller: h or w?
h
Let f(c) = -5*c**2 - c + 1. Let q be f(-1). Let z be 1/(-1)*(-12 - 3). Let x be 3/z - (-63)/(-15). Which is bigger: q or x?
q
Suppose u = -4*f + 113 + 160, u - 1 = 0. Let i be (-4)/2*1 + f/40. Which is smaller: i or -2/5?
-2/5
Let t be 12/8 + 24/(-16). Which is bigger: -67 or t?
t
Suppose 0 = -3*r + 2 + 10. Suppose 3*b - 10*b + 77 = 0. Which is greater: b or r?
b
Let c = -93 + 92.29. Which is bigger: c or 1/4?
1/4
Let x(i) = -7*i + 6. Let a(g) = g**2. Let n(h) = a(h) + x(h). Let k be n(4). Let b be (-9)/k*(-20)/(-54). Which is smaller: b or 2?
b
Let w = 150 + -137. Is w greater than 16?
False
Let l be -3 + (-250)/(-90) - (-290)/9. Is l greater than or equal to 32?
True
Let w = 0.28 - -5.62. Let s = 6 - w. Let r = 1.1 - s. Which is smaller: -2 or r?
-2
Let p be 192 + (-5)/15 + 2/6. Let r = -1342/7 + p. Which is smaller: -1 or r?
-1
Let s(l) be the second derivative of -l**4/12 - 2*l**3/3 - l**2 - 85*l. Let v = 8 + -11. Let q be s(v). Is 0.2 <= q?
True
Let l = -375 - -378. Let t = 14.4 - 0.4. Which is smaller: t or l?
l
Let c = 1 + -0.87. Let b = c - 0.35. Let u = b + 0.12. Is u equal to 7?
False
Let w = -22 + 28. Let o be 4/w*(-35)/(-14). Which is smaller: o or 3?
o
Let n = 4189 - 4222.94. Let g = n - -34. Is 2 < g?
False
Let n(a) = a**3 + 4*a**2 - 15*a - 1. Let z be n(-6). Which is bigger: z or 16?
z
Let a be (-26883)/145 + 2/5. Is a smaller than -3?
True
Let z be (-1394462)/(-72) + 8/36. Let p = z + -19715. Let b = p - -349. Which is greater: b or 1?
b
Suppose 0*p = -p - 5*t + 13, -136 = -4*p + t. Let q = p + -29. Suppose 3*m + 3 = 3*n, 2*m + q*n - 1 = 7*m. Which is greater: 4 or m?
4
Let y(h) = 69*h + 29. Let t be y(-1). Is t equal to -40?
True
Let j be 1/2*(-8)/(-46). Suppose 9 = 4*k - 7. Suppose 3*n = 4*d - 5, -k*d + 2*n - 1 = -3. Do j and d have the same value?
False
Let s = -1031 + 1120. Which is greater: s or -8?
s
Let c be ((-2)/(-1))/((-1155)/3). Suppose -2*x + 4 = 3*q, -2*x + 8 = 2*q + 4. Which is bigger: q or c?
q
Suppose -u + 2*u = -q - 34, -3*u - 107 = 2*q. Is -41 > u?
False
Let q be 2 + ((-276)/(-15))/(-4). Let s = 1 - 4. Which is greater: s or q?
q
Let s be -2 - (-4)/4 - 2 - 55. Let c be (-14)/(-63) - s*12/27. Is c greater than 25?
True
Suppose -56421 = 9*b + 21753. Let h = -60692/7 - b. Which is bigger: 17 or h?
17
Suppose -r + 3*v = 12, -13*r = -18*r + 3*v - 12. Which is bigger: r or -98?
r
Let l = -8 + 11. Let n be (8/708)/((-1)/l). Which is smaller: n or 1?
n
Let y = -0.21 - 0.19. Let v = 0.043 - -0.057. Which is smaller: v or y?
y
Let o be (4/(-408))/(2