0 - 12281. Which is smaller: p or u?
u
Let y = -14 + 11. Let c = 2.745 + -0.045. Let u = y + c. Is -2 smaller than u?
True
Let c = -21791/2815 - -13/1689. Let i = -32/5 - c. Is 2 > i?
True
Suppose 0*r - 3*r - j + 1 = 0, -2 = -5*r - 2*j. Let d be 263*(-8)/(-28) - (-1)/(-7). Suppose 5*w + 3*i - 8*i = d, 4 = -i. Is r less than w?
True
Let u be (1087540/(-3))/(8036/126). Let z = 5684 + u. Do 1 and z have the same value?
False
Let m be ((-7)/(490/42))/(-1). Is m smaller than -3?
False
Suppose -q = -3*t - 3, -q + 3*q + 4*t = -4. Which is greater: q or 7/11?
7/11
Let c = 297/2 - 149. Which is smaller: c or -234?
-234
Let x = 109.2 - 93.3. Is 3/4 smaller than x?
True
Let h be ((-16)/4)/4 - 12/(-3). Let t be h + 0 + -4 - 77. Is -78 smaller than t?
False
Let s be (2 + -1)*((-1340)/(-2))/(-10). Which is smaller: -68 or s?
-68
Let n = 925 - 924. Is n < 1/4?
False
Let i be 1/(4 - (-9)/(-2)) + -35. Let t = 45 + i. Is t greater than 12?
False
Suppose 68 - 140 = -3*d. Is d smaller than 19?
False
Let f = 2887 - 2887. Let n be 1/(1/2) - -4. Let v be (-4)/n + (-5)/(-3). Which is smaller: f or v?
f
Suppose -1 = x + 3*a, -x - 4*a = x. Suppose -x*h + 3*q = -q + 254, -5*h - 2*q = 695. Which is smaller: -136 or h?
h
Suppose 2259 = 16*z + 2067. Let i = -1 - -4. Is z < i?
False
Let q = 6 + -37. Let w = 31.42 + q. Let d = -0.12 + w. Which is bigger: 3 or d?
3
Let r = 283/36 + -142421/18108. Is 1 < r?
False
Let j(u) = -7*u**3 + u**2 + 2*u + 2. Let w be j(-1). Let y(g) = -g**2 + 9*g - 10. Let b be y(w). Which is greater: -4/5 or b?
-4/5
Let n(m) = -5*m + 48. Let z be n(8). Which is bigger: -6 or z?
z
Let u = -128 - -127.23. Let o = u + -0.23. Let x = 960/13 + -74. Which is smaller: o or x?
o
Suppose 27 = d + 2*a, -4*d - 2*a = -5*a - 130. Let h = 13 + d. Let j = h + -22. Is j at most as big as 22?
True
Let t be (285/(-96) + 3)/((-56)/(-96)). Let x(k) = k + 4. Let m be x(-4). Are m and t non-equal?
True
Let p = -493 - -472. Which is smaller: p or -138/7?
p
Suppose 0 = -2*r - 4*b - 14, 0 = 3*r - 4*b - 0*b - 9. Suppose 6*s = -0*s + 150. Let d be s/(-40)*6/(-15). Which is smaller: d or r?
r
Suppose 88 = 8*h - 24. Suppose l = k - 18, 0 + 4 = -l. Is h less than or equal to k?
True
Let h(b) be the second derivative of -b**4/12 + b**3/6 + b**2/2 - 10*b. Let n be h(3). Let v(t) = -2*t**3 + 4*t**2 - 4*t + 3. Let q be v(2). Is q at least n?
True
Let w be 1 + ((-36)/63 - 10/7). Is 1/33 bigger than w?
True
Suppose -85*s + 81*s + 44 = 0. Which is bigger: 9 or s?
s
Let t be 3/3 - (4 + -1). Let n be 0*(-3 - t)/(-1 - -2). Is 2 at most as big as n?
False
Let v = 450/7 + -64. Is v smaller than 68.6?
True
Let t = 0.214 - 9.214. Which is greater: t or 1/6?
1/6
Let h(j) = -12*j - 611. Let m be h(-51). Which is smaller: -66 or m?
-66
Let l = 1.1 + -1. Let r = -1.8 + 1.7. Let i = r + -0.1. Which is greater: l or i?
l
Let p be ((-9)/(-12))/((-20460)/(-1232)). Which is smaller: p or -1?
-1
Suppose 2*l = b - 4 + 10, -l + 3*b = -8. Suppose 2*k = -4*y - 16 - 12, 0 = -2*k - l*y - 18. Suppose 0 = -7*f - 18*f - 150. Is k <= f?
False
Suppose 13*x - 5 - 8 = 0. Is x at most -1/8?
False
Let j(u) = 5*u - 57. Let h be j(13). Let t(f) = f**3 - 11*f**2 + 18*f - 19. Let b be t(h). Is b at most -67?
True
Let l be ((-24)/(-108) - (-22)/144)/1. Which is smaller: l or 2/9?
2/9
Suppose -55*x + 35*x - 56860 = 0. Which is bigger: -2844 or x?
x
Let h be ((-3)/3)/3 + 16/(-6). Let c = 0.3 + -0.2. Is h not equal to c?
True
Let o = -0.199 - -11.899. Let b = 13 - o. Let g = b - 1.33. Which is smaller: g or -0.3?
-0.3
Let n = -0.8 - -1.01. Let y = n + -0.16. Let g = 1.15 - 0.15. Which is bigger: y or g?
g
Suppose h = -3*i + 9, 0 = 2*i - 2 - 0. Let z be ((-9)/h - -2)/(4/56). Is z at most as big as 7?
True
Let p(w) be the first derivative of w**2/2 + 7*w + 15. Let j(r) = r**3 - 11*r**2 + 11*r - 14. Let n be j(10). Let c be p(n). Which is smaller: 4 or c?
c
Let a be (-82)/861 - (-21106)/(-210). Do a and -100 have the same value?
False
Suppose 8*w = -4 - 12. Let q(h) = -h**3 + 6*h**2 + h. Let u be q(6). Let n be (w/10)/(u/30). Is n greater than or equal to 2?
False
Let m be (-297)/(-423)*-7 - -7. Which is bigger: 1 or m?
m
Let v be (-2992)/(-2261) + (-12)/(-114). Is v != 2.6?
True
Let k be (-6*2)/4 - 2. Let z = 21 - 9. Suppose 4*s - 2*s - 6 = 0, 0 = 3*j + 2*s + z. Which is bigger: k or j?
k
Suppose -84 = 4*a - w + 349, -2*a + 3*w = 209. Which is smaller: a or -219/2?
-219/2
Suppose 4*t - 9 + 113 = 0. Let h = 259 + -285. Is t bigger than h?
False
Let t(p) = -p**3 - 4*p**2 - p - 3. Let q be t(-4). Suppose l = -q - 4. Let i = 1530 + -1531. Is l at least as big as i?
False
Suppose 0 = -5*h - 2*z - 666, -2*h - 258 = 2*z - 4*z. Is h at most -132?
True
Let r = 14 + -15. Let h(l) = -l**2 - 3*l - 2. Let j be h(r). Let m = 0.96 + -0.06. Is j < m?
True
Let s = -149.9 + 150. Let j = 2 - -6. Let y be (j/(-290))/((-8)/(-20)). Which is greater: y or s?
s
Let v = 1724/765 - -2/153. Which is smaller: v or 3?
v
Let w = -0.2 + 0.19. Let l = -52/111 + 28343/555. Let u = -51 + l. Is u smaller than w?
True
Let c(t) = -t**2 - 2*t - 1. Let p be c(-1). Suppose -a + 3*w + 5 = -p*a, -5*a = 3*w + 11. Is 1/9 >= a?
True
Let a = -7 - -38. Let c = 34 - a. Which is smaller: 2/17 or c?
2/17
Let a(u) = u**3 - u**2 - 1. Let s(o) = -7*o**3 + 17*o**2 - 12*o + 27. Let m(c) = 6*a(c) + s(c). Let y be m(10). Are y and 5 equal?
False
Let w be (-130)/(-14) + 4/(-14). Let q(f) = -f**3 - 4*f**2 + 3*f + 2. Let x be q(-5). Let o = -4 + x. Which is smaller: o or w?
o
Let r(s) = 9*s - 12*s + 14 + 5*s. Suppose -2*l = 4, 8*g = 3*g - 5*l - 45. Let z be r(g). Is 0 <= z?
True
Suppose 3*w = -7*w + 7*w. Suppose 2*k + 17 = -3*y, y - 2*k = -w*y - 11. Is y < -8?
False
Let f = -0.8 + 1.4. Let h = -16497.7 + 16498. Is h at least as big as f?
False
Suppose 8 - 9 = i. Which is smaller: i or 7/22?
i
Let h be 4525/(-1155) + 4 + (-2)/14. Suppose 4*t - 2*t + 6 = -4*z, 2*t = -6. Which is smaller: h or z?
h
Let n = -8 + 5. Let l(p) = -9*p + 105. Let t be l(12). Is n != t?
False
Let r = 13 + -4. Let i be (-21)/(-7)*21/r. Let x = i + -8. Which is smaller: x or 2?
x
Let t be (-6)/(-308)*(2552/24)/(-11). Let y = t + 1/7. Do y and -1 have the same value?
False
Suppose 5*j + 2 = 2*j - 5*i, 13 = -2*j - i. Is j greater than or equal to 0.6?
False
Suppose 0 = -3*r + 4*j - 71, -2*r - 3*r - 75 = 2*j. Let v = r - -7. Do -11 and v have different values?
True
Let t(w) = w**3 - 16*w**2 + 16*w - 25. Let o be t(15). Let j(z) = 4*z + 41. Let i be j(o). Is i greater than 3/11?
True
Let l = -2/3547 - -7108/24829. Which is smaller: l or -147?
-147
Let r(z) = z**2 + 16*z - 5 + 2 - 1. Let t be r(-16). Is 2/3 > t?
True
Suppose 5*j - 10 = u - 3*u, 2*j - 20 = -4*u. Suppose 0 = u*s - 3*s. Let q = 870 + -28708/33. Is q bigger than s?
True
Let r be (4/12)/(966/45). Let s = -2/23 + r. Which is smaller: 1 or s?
s
Let g(q) = -33*q + 5. Let x be g(2). Let p be x/4 + 15/(-20). Let w = 14 + p. Which is smaller: w or -3/2?
w
Let k = -13 - 4. Let q = -17 - k. Which is smaller: -3/2 or q?
-3/2
Let x be 1 - (2 + 22)/4. Let m = -1 + x. Let a be m/(-33) + (-72)/154. Is a at least -2/13?
False
Let q = 21 + -27. Let a be q*3*(-4)/(-24). Suppose 0 = o - 5*k + 26, k - 5 - 5 = 5*o. Is o > a?
True
Suppose 4*m + 5*v = 9, -2*m + 4*v = 3*m + 40. Let n = 18 - m. Let q be (25 - 1) + -5 + (-24)/(-8). Is q <= n?
True
Suppose s + 4*k = 6*s - 2, -3*s = -3*k. Let j be (3/(-6) + 0)*s. Which is greater: -0.5 or j?
-0.5
Let d = 2.5 + 15.5. Let a = d + -20.5. Which is greater: a or 0?
0
Let s be 35/(-588) + (-2)/(-14). Is s greater than 1?
False
Suppose c = -30 + 88. Suppose 4*b + 6*f - 60 = 2*f, -2*f = 4*b - c. Which is smaller: 13 or b?
13
Let y = -0.08 - -0.03. Let u = 0.25 + y. Let h = -9.89 - 0.11. Is u >= h?
True
Let w = 4 + 14. Let f = w - 27. Suppose -5*y = -4*k - 17, k - 3*y + 7 = -k. Which is greater: k or f?
k
Let m be (-2)/(18/(-13))*17/51. Which is smaller: 1 or m?
m
Let v = 10.2 - 3.8. Let t = v - 6.5. Which is bigger: -19 or t?
t
Let j(y) = y**2 + 11*y - 11. Let a be j(-13). Suppose 95 = -5*s + 4*q, -2*s - 2*q - q = a. Let p be 2*(-4 - s/4). Is p smaller than -0.1?
True
Let f = 464.623 - 465. Let j = f + 0.047. Let x = j + 0.53. Is x < 0.05?
False
Let r = -8/193 - -1146/18335. Suppose -3*w = -0*w. Which is greater: w or r?
r
Suppose 5*f = 