 - 40, -2*l = -x + l + 20. Suppose -3*j = -5*j + x. Suppose 0 = -4*v + v + 24. Which is greater: j or v?
j
Let n be ((-6)/(-45))/1 + (-101)/645. Suppose 0 = -3*z - 2*j - 1 - 9, -3*j - 15 = 0. Which is greater: z or n?
z
Let v = 0.0661 - -517.9339. Which is smaller: 1 or v?
1
Let k = 4 - -8. Suppose 36 = -4*i - k. Are -12 and i unequal?
False
Let y(l) = -2*l + 12. Let u be (-299)/(-39)*(-3 + 2)*-3. Let k be y(u). Is -35 >= k?
False
Let u = -125 - -253. Suppose 0*j = -4*j - l - u, 3*l = 4*j + 112. Which is greater: -30 or j?
-30
Suppose 0 = 5*n - 0 - 5, -5*q + 4*n = -7566. Do q and 1515 have different values?
True
Let k(d) = -d**2 + 25*d - 169. Let y be k(10). Is y at most -19?
True
Let c = -4702/3 + 1588. Which is greater: c or 20?
c
Let z be ((-1)/(1/(-1)))/(6/(-558)). Let h = z + 90. Is h at most as big as 5?
True
Let s = -36.114 - -0.114. Is s less than or equal to -1?
True
Let c = 0.19 + -0.11. Let o = 1.08 - c. Suppose 2 = -3*i - k - 9, 2*k - 2 = 0. Is i less than or equal to o?
True
Let h = -7 + 1. Suppose -v + 5*i = 15, 2*v + 4*i = 6*v - 20. Suppose 0 = t + 4*t + v. Do h and t have different values?
True
Let v = -97/3 + 32. Let g be 1 - (28/(-6))/((-4)/(-6)). Let x be g/30 - 10/15. Which is smaller: v or x?
x
Let c(r) = -r**3 + 5*r**2 - r + 3. Let x be c(5). Let s = 6 + -11. Let b be (3 - 3)/s - 2. Is x at least as big as b?
True
Let s = 21 - 19. Let m = -56 - -112. Let z be ((-2)/6)/(m/(-48)). Which is smaller: s or z?
z
Suppose 0 = 12*s - 389 + 65. Is s > 34?
False
Let m = 49 + -18. Which is smaller: m or 0.04?
0.04
Let i be ((-100)/(-6))/((-10)/(-285)). Suppose -5*v + i = -5*p, -v - 4*v = p - 451. Suppose -3*k - 4*k = v. Which is smaller: k or -14?
-14
Let x = 99.107 + -99. Is -1 bigger than x?
False
Suppose 9*b + 518 = -373. Let a = -100 - b. Are a and 3.1 nonequal?
True
Let d = -29.2 + 17.8. Is d >= 0?
False
Let o be 30/(-25) + (-1 - -5). Which is bigger: -2 or o?
o
Let i be (-2)/4 - (-165)/10. Suppose 7*u - i = 26. Is u greater than 6?
False
Let l = 1978/105 + -93/5. Let z(s) = -s - 3. Let m be z(-3). Which is bigger: l or m?
l
Suppose -32 = 5*x - 4*n, 4*x + 21 = x + 3*n. Let w be (-10)/((-3)/(-693)*-3). Let p be (-7)/(w/x) - 0. Which is smaller: 0 or p?
0
Let u = 23 - 21. Suppose -2*f + 0*m + 3*m = 19, 4*m - 16 = -u*f. Is f at least as big as -2?
True
Let k = 36 + 9.2. Let t = 44 - k. Which is smaller: t or 0?
t
Let n be ((-5)/(-3))/(1/(-3)). Let j = 25 + -23. Let k be (-6)/j - (1/(-1) - 0). Which is smaller: k or n?
n
Let p = -19.8 + 19.6. Are -4/9 and p equal?
False
Let f(i) = -6*i**3 - i**2 - 7*i + 21. Let v(o) = -5*o**3 - 2*o**2 - 6*o + 20. Let u(d) = 4*f(d) - 5*v(d). Let k be u(-5). Is k at least as big as -4/11?
False
Let a be (0 - -1) + 2 + 2. Suppose -a*u - 3 = -4*u. Let l be -4 - (u/(-1) - 6). Which is smaller: 1/16 or l?
l
Let c be ((-4)/1)/(-24) - 1633/8970. Which is greater: 0 or c?
0
Let v = -148 + -129. Is -277 not equal to v?
False
Suppose y + 29 = i, 0*i - 2*i + 151 = -5*y. Which is smaller: -33 or y?
-33
Let y(c) = 46*c - 60. Let u be y(5). Is 171 at least u?
True
Let q = -758 + 758. Is 130 less than or equal to q?
False
Let c = -91 - -136. Suppose c*k - 12 = 47*k. Let r = 10 + -15. Are r and k equal?
False
Suppose 198 = z + 10*z. Which is bigger: -0.1 or z?
z
Let a = 3 - -4. Let b = -1.23 + 1.03. Which is bigger: a or b?
a
Let c = -601 + 600. Let y be (-8)/5 + (-8)/20. Which is smaller: y or c?
y
Let a = 1 - 0.9. Let u = 25 + -24. Let b be (-55)/6 + u/6. Which is bigger: b or a?
a
Suppose 0 = -2*a - 3 + 1. Let b be (-153)/(-780)*4 - 6/15. Is a <= b?
True
Let j = 92 + -90. Let k be (j/(-3))/((4840/15)/(-4)). Which is smaller: k or 0?
0
Let u be 30/3*(-2)/(-10). Suppose -f = u*b - 54, -4*b - b = 3*f - 137. Which is bigger: 24 or b?
b
Let p = 10 - 7. Let y be -1 + 2/(-2) + p. Let z be y/(-3) + (-10)/15. Is z less than or equal to -8?
False
Let o be (2 + (-21)/15)/(21/35). Do -42/5 and o have the same value?
False
Let y = -6 - -5. Let l be (y + 1)/(1 - 4). Suppose 3*w - 6 + 3 = l. Which is smaller: 2 or w?
w
Let w be ((-2)/3)/(3/(-81)). Let v be w/(-45) + (-3908)/(-4095). Let j = v - -2/117. Which is smaller: j or 0?
0
Let c(a) = -14*a + 41. Let j(r) = -41*r + 123. Let d(o) = 17*c(o) - 6*j(o). Let b be d(5). Which is greater: b or -2?
b
Let t be (9/2)/(4/8). Let c(r) = -r**3 + 7*r**2 - 5*r - 2. Let k be c(6). Suppose -k*s + 3 = -t. Is 3/2 != s?
True
Suppose 17*v + 28 = -k + 12*v, -5*k = v + 188. Is k at most -295/8?
True
Let v = 1647 - 1624. Which is smaller: 4 or v?
4
Suppose 8*b = 12*b + 264. Let o = 51 + b. Which is greater: o or -46/3?
o
Suppose 0 = v - 20 + 15. Suppose 99 = -v*j - 21. Is j <= -24?
True
Let f = 2 + 5. Suppose -3*i - 5*o = -30, -2*i = o - 4 - 16. Which is smaller: f or i?
f
Let q = 1485 + -1489. Is q > 36?
False
Let v be (-4)/(1/(6 + -7)). Which is greater: 26 or v?
26
Let i be 212/6 + 4/24*-2. Is i at most 34?
False
Let q be (23/(-5) - -3)/2*-5. Let u be (-4)/6 + q/(-12). Which is greater: u or -2?
u
Let y = -23 - -8. Let o = y - -10. Let a = 4.91 + o. Which is bigger: -1 or a?
a
Let m be 3/(-10*6/5268). Is -262 less than m?
False
Let m = 13523/132385 + -24/913. Which is smaller: m or 1?
m
Let o be (-18)/54 - (-4)/3. Suppose 5*q - o = 4*d - 0*d, -3*d + 7 = 4*q. Is 1 <= d?
True
Let q be (-10)/(-30)*-9*(-17)/(-3). Let a(t) = t**3 + 7*t**2 + 7*t - 5. Let m be a(-6). Let f = m - q. Which is smaller: 5 or f?
5
Let h = -20 - -10. Let b = 0.09 + -4.09. Let f = b - h. Which is bigger: f or 0.3?
f
Suppose 0 = -p + 6*p, -3*p = 2*k + 36. Is k < -0.3?
True
Let j = -31 + 22. Let n = -2652 - -2644. Is n bigger than j?
True
Let o be -1 - -2 - (-2420)/(-40). Is o > -1/2?
False
Let t be (-99)/11 + 0/3. Is t greater than -10?
True
Suppose 0 = 5*l - 6 + 1. Let t(s) = -s**3 - 6*s**2 + 4*s + 31. Let y be t(-6). Which is greater: l or y?
y
Suppose -5*i + 4*g - 47 = 0, -5*g + 10*g = 3*i + 36. Which is smaller: i or 0.5?
i
Let l be (-75)/(-3350)*3250/(-1893). Let o = -4/631 + l. Is o not equal to 0?
True
Suppose 0 = -f - 0*j - 4*j + 6, 0 = -3*f - 3*j + 54. Suppose -4*t + 42 = -2*t. Which is bigger: f or t?
f
Let i = -78.08 - -78. Let h = i + 1.08. Which is smaller: 8 or h?
h
Let b = -0.5 + 0.4. Let n = -175 - -177.1. Which is bigger: n or b?
n
Let k = -0.118 + 0.218. Is 0.192 bigger than k?
True
Let i be 3/(-2) - (-2)/4. Let h be (-6)/9 + (-35)/(-21). Let q be (i + 5)/80*h. Is q at least as big as 1?
False
Let n be (-10 + 154/(-5))/(6/20). Which is bigger: n or -5?
-5
Let z = 85 + -65. Let r = -20 + z. Are 3/26 and r unequal?
True
Let l = 0.9 - 0.88. Let t = 2.2 - 0.2. Let b = -2.1 + t. Is b at most as big as l?
True
Let x(o) = o**2 + 3*o - 2. Let l be -8 - (-4)/(4/2). Let w = l - -8. Let p be x(w). Is 6 greater than or equal to p?
False
Let n(u) = -u**3 - 3*u**2 + u. Let h be n(-4). Let x = h - 33. Which is smaller: -20 or x?
x
Let o = -44397/20 - -2220. Which is smaller: o or 3.1?
o
Let s(i) = -2*i**2 + 16*i - 27. Let k be s(8). Which is bigger: k or -29?
k
Let a(h) = -6*h**2 + h + 9. Let y be a(0). Is y at most 48/5?
True
Let y = 16.3 - 16.12. Which is smaller: y or -6?
-6
Let k = -18392893/29720 - 9/3715. Let d = k - -620. Which is greater: 0.1 or d?
d
Let g = 21.6 + 4.4. Let r = -19.43 + -1.57. Let l = g + r. Is l greater than -1?
True
Suppose 3 = 2*x + 1. Let z = 1 - x. Let n be -3 + -5 - (-213)/27. Which is smaller: z or n?
n
Let t be 1*2/(-4) - (-405)/30. Suppose 0*x - x - 2*m + 11 = 0, -2*m = 0. Is t greater than or equal to x?
True
Let d be (4/4)/(9/(-27)). Let s be 12 + (-3 - -4) + -3. Let b be 228/(-70) - (-4)/s. Is b less than d?
False
Let s be ((-68)/(-1610))/((-6)/10). Let d = -4/161 + s. Which is bigger: d or -1?
d
Let x = -1874 - -1873.903. Which is smaller: 0.6 or x?
x
Suppose 2*o + 61 = 2*f + 43, 2*o - 2 = -2*f. Let i(x) = x + 5. Let q be i(-9). Is q equal to o?
True
Let b(y) = -4*y**3 - 39*y**2 + 12*y + 18. Let w be b(-10). Let k be 1*(-3)/(15/14). Which is smaller: w or k?
k
Let t = -6028335/7 + 864524. Let u = t - 3339. Which is bigger: -5 or u?
-5
Let n be 3/(-12)*(-3 + -1). Let o = n + -4. Suppose y = 3*y - g + 1, 16 = 3*y - 5*g. Is y < o?
False
Let v = 108 + -108. Which is greater: 11/34 or v?
11/34
Suppose 0 = 48*v + 10*v - 232. Which is greater: v or 2?
v
Suppose 0 = -2*o - 4*x + 40, 4*x 