value?
False
Let l be 1 - (2/3 + 208/39). Let z = 12 + -13. Is z < l?
False
Suppose 0*d = -2*d + 6. Suppose -5*m - 22 = -t, d*m - 2*m - 4 = -4*t. Let n be (12/(-18))/(m/(-6)). Which is bigger: 1 or n?
1
Let f be -2*9/(-6) - 2. Which is smaller: -2/155 or f?
-2/155
Suppose 20 + 0 = -2*s. Suppose d = 0, i - 4 = -3*d + 4. Let u = i - 19. Do u and s have the same value?
False
Let u be 68/112 + -8*2/28. Which is smaller: 1 or u?
u
Let o be (1 - 1) + (3 - 3). Suppose o*g = 3*g + 12. Suppose -4*h = 3*q - 7*q, q = 2*h. Is h less than g?
False
Let w = 22 + -42. Let v = w - -21. Let j = -24/11 + 153/55. Is v > j?
True
Let n be (-21)/6*4/(-6). Let r = -139/57 + n. Suppose 5*p + 1 = 1. Are r and p non-equal?
True
Let z(s) = -2*s - 2. Let h be z(-3). Let b be 99/(-21) - 1/(14/h). Which is smaller: -9 or b?
-9
Let g be (1*7 + 0)/1. Let p(u) be the first derivative of u**2/2 - 10*u - 23. Let o be p(g). Which is smaller: 0.2 or o?
o
Let u be (-1 - 0)*24/(-12). Suppose -w - 3*i = u*w - 48, 3*i = -2*w + 37. Suppose 16*t = w*t + 5. Is t bigger than 1/6?
True
Suppose 2*c = -5*v - 3*c + 255, 0 = 5*v - 5*c - 255. Is v less than 53?
True
Let q = 18 - 18.01. Let k = -32.99 + q. Let r = -11 - k. Is 1 less than or equal to r?
True
Let x = 33 + -31.9. Let v = -5.21 - -0.11. Let y = x + v. Is 2/5 at least as big as y?
True
Let a = -25 - -42. Suppose 0 = 2*w - 4*w - h - 7, 3*w - 4*h - a = 0. Is -1 < w?
False
Let l be (1/2*18)/1. Let i be (-2 - l/(-4))/((-11)/(-44)). Let v = 1/77 + 611/385. Is i < v?
True
Let t(y) = -2*y**2 + 10*y + 13. Let w be t(6). Which is bigger: w or 2/451?
w
Let f be 2/(-3)*(-1)/2. Let z be 13 + (0/(-2) - -2). Let n be 10/z - 4/8. Which is bigger: f or n?
f
Let o = 33.98 - 35. Let u = 0.28 - 0.3. Let n = u - o. Are -1 and n non-equal?
True
Let b be -5 + (-84)/(-15) - 1. Which is smaller: b or -3/8?
b
Suppose -4*h - 32 = y, -3 + 32 = -h + 5*y. Let m = h - 38. Is m at least as big as -47?
True
Suppose -2*a - 6 = -10. Let i be 1/a*(-10)/(-20). Suppose 3*n = -1 - 2. Which is greater: n or i?
i
Let n be -2 - -338 - (11 + -14). Is n less than 340?
True
Let w(o) be the first derivative of -o**2/2 + 12*o - 6. Let y be w(11). Let b = -45/23 + 41/23. Is b <= y?
True
Let o be -15 - (12056/(-36))/22. Let y = 1 - 2. Is y less than or equal to o?
True
Suppose 4*u - 132 = 4*t, -4*u - t = -4*t - 130. Let f = u + -13. Which is smaller: f or 19?
f
Let y(i) = i**3 - 6*i**2 - 7*i + 5. Let h be y(7). Suppose -h*t - 2*t + 70 = 0. Which is greater: t or 5?
t
Let p be (-4)/14 - 120/(-420). Let r = 90685/129 - 703. Is p equal to r?
False
Suppose 3*m - m - 70 = -2*i, 0 = 4*i + 16. Which is bigger: m or 2?
m
Let a be 22080/280 - 1/(-7). Are a and 79 non-equal?
False
Suppose 5*m - 4*b = -15, 2*m - 3*b + 23 = 2*b. Suppose -s = 3*a, 4*s - 5*s = 4*a. Let z be (s - 2) + 4/m. Which is bigger: z or 2/3?
z
Suppose 1309 = 2*h + 3*f + 29, 0 = -3*f + 12. Which is bigger: 633 or h?
h
Let b = 66522474734/52270743 + -1/2272641. Let c = b + -1273. Is 0 greater than c?
True
Let q = -5.3 + 5.51. Let n = q + -2.21. Which is smaller: n or -17?
-17
Let x be 3/(7 + -10) + (-96)/(-1). Which is greater: 93 or x?
x
Let u(m) = 9*m + 21. Let w be u(5). Suppose -4*b + 2*x - 163 = 131, -x = b + w. Are b and -70 equal?
False
Let r be -5 + 181 + (3 - 3). Are r and 176 unequal?
False
Suppose 1 = -z + 3. Suppose -g + 3 = 4*y, -2*g + 2*y + 15 = 3*g. Let a be 30/(-9)*g/(-6). Which is bigger: z or a?
z
Let o = 958/3 + -4763/15. Let w = 3 - 2. Which is smaller: w or o?
w
Let u = 903/5 + -181. Suppose -5*q + 0 = -5. Are u and q equal?
False
Let l = 80 + -50. Suppose 5*q - l = -0*q. Let m(z) = -z + 11. Let c be m(q). Is 5 at least as big as c?
True
Let t = 6541/370 + -89/5. Do 0 and t have different values?
True
Let o = 6749/13 - 519. Is o not equal to -11?
True
Let g be (-12)/(-10)*(-5)/(-2). Let y be 2/g*(-1206)/12. Let s = y - -203/3. Is -2/7 not equal to s?
True
Let t(q) = 13*q - 21 + q - 11*q - 1. Let o be t(7). Which is smaller: -15/8 or o?
-15/8
Let w = 552 + -269. Suppose 85 = 3*i + w. Let u = i - -332/5. Which is smaller: u or 1?
u
Let f = 3 + 1. Suppose 0 = 67*v - 70*v + 6. Which is smaller: f or v?
v
Suppose -2*h = -s + 19, -s + 13 = h - 0*h. Is 20 greater than or equal to s?
True
Let d(k) = -k - 16. Let s be d(-9). Let n = 1 + -4. Let t = -2 - n. Are t and s non-equal?
True
Let g = 162306267 + -17042028466/105. Let a = -1234 + g. Is a > 1?
False
Let g = -2.9752 - 0.0248. Is -14 at least g?
False
Suppose 0 = -4*k + 8*k - 48. Let j = 16 - k. Suppose 7*h - 16 = 3*h + 5*c, -h - 4*c + j = 0. Which is smaller: 5 or h?
h
Let a be 19/(-14)*2 + (-4)/14. Let z be (4 + a)/(-1 - -1 - -3). Which is smaller: 69 or z?
z
Suppose -3*h + 193 = 5*m, 2*m - h = 23 + 52. Which is smaller: m or -2/13?
-2/13
Let n be (-1)/((-8)/80) - 12. Let r = 7.9 + -9. Which is smaller: r or n?
n
Let a be 5/4 + (-25)/20. Let u = 205900/93 + -2214. Is a at least as big as u?
True
Suppose 5*o + 5280 = -17*o. Which is greater: o or -719/3?
-719/3
Let i = 3 - 5. Let x be -1*i/8*2. Let p = 2537 + -2537. Which is smaller: p or x?
p
Let x(i) = 5*i**2. Let u be x(3). Suppose 0 = -34*h - 251 - 55. Let f be 10/u - (-8)/h. Is f at most as big as -2/3?
True
Suppose 0 = 3*x - 6*x + 99. Let d be (-6)/x + 188/66. Which is bigger: d or 3?
3
Suppose 0 = -76*n - 69 - 7. Suppose 3*m + 1 - 7 = 0. Suppose 3*i - 4*i = -m. Is n less than or equal to i?
True
Let c be 2/5 + 14/(-10). Suppose -2*k = 2*k - 4*x - 12, -4*x = -k + 15. Let y be 6/(-18)*(-4)/k. Is c at least y?
True
Let u(t) = -t + 6. Let i(j) = 3*j - 19. Let o(x) = 3*i(x) + 8*u(x). Let a be 2*3/6 + 7. Let c be o(a). Is c <= -2/3?
True
Suppose -2*g = 2*g - 12. Suppose 0 = -y + g*y. Suppose 3*d + 5*x + 41 = -d, y = -2*x - 10. Which is smaller: d or -3?
d
Let s = -203.88 - -208. Let g = s + -4.1. Which is bigger: g or 0?
g
Suppose -3*p - 6 = -5*p. Suppose -2*q = 4*u + 8, q + 3*u = -p*q - 16. Let x be 0 + q - (-8 - 2). Are 6 and x nonequal?
False
Suppose 32 = 2*z - 0*z. Let q = 16 - z. Do q and -2/41 have the same value?
False
Let r be -2 + (-152)/(-30) + 0. Let i = 8/3 - r. Suppose -3*p - k = 3*k + 3, 5*p = -2*k - 5. Is p less than or equal to i?
True
Let j = -45 - -87. Suppose -j = 7*y - y. Which is bigger: y or -22/3?
y
Let u(f) = 2*f - 15. Let x be u(11). Suppose x*t = 18 + 17. Are 0 and t equal?
False
Let r = -0.796 - 0.054. Let a = r - -1.05. Do a and 2 have the same value?
False
Let q be 3/((-18)/(-15))*(-4)/(-5). Which is greater: -22/13 or q?
q
Suppose -67*j + 62*j = -2*h - 20, -2*h = 5*j - 20. Which is bigger: 30/23 or h?
30/23
Let l be 1*(3 - 4) + 21. Let i = -18 + l. Suppose i*j + 5*s = -17 - 9, -2*j - s = 10. Is j less than -1?
True
Suppose -3 = 3*w, q = -q - 3*w - 3559. Is -1779 less than or equal to q?
True
Let o be 3*-20 - 16/(-4). Let k be 16/o - 65/(-7). Do 7 and k have different values?
True
Let u = 4 + -12. Let a = u + 6.8. Let k = a - -0.2. Are -1 and k non-equal?
False
Suppose 0 = 423*a - 412*a + 2651. Is a < -240?
True
Let n = 111 - 103. Which is smaller: n or 1/3?
1/3
Let a be 7969/(-1183) + (4 - -3). Which is bigger: -1 or a?
a
Let x be (-15)/(-12)*294/10. Let w = x - 997/28. Suppose -3*q - 4*z - 14 = 0, 3*q - 2*q - 4*z - 22 = 0. Is q < w?
False
Let q(d) = 10*d - 600. Let j be q(60). Let l = 99 - 301/3. Which is smaller: j or l?
l
Suppose -n + 4*w + 16 = -3*n, n = -w - 8. Let i = -6 - n. Suppose 2*x = 6*x. Do x and i have the same value?
False
Let i be (-3)/2 - 30/(-20). Suppose j - 2*h - 11 = -i*j, -j + h = -15. Let y = -15 + j. Is y at most 4?
True
Let v be -2*(-3)/(-2202)*(-135)/27. Which is smaller: v or 0?
0
Let b(y) = -3*y - 10. Let i = 103 + -100. Let s be b(i). Is s bigger than 4?
False
Suppose 2*n = -4*c - 19 + 173, -3*c - 4*n + 113 = 0. Which is smaller: c or 40?
c
Suppose 3*a = 4*j + 15, 3*j + 2*a + 2 = 12. Which is greater: j or 3/17?
3/17
Let n = -0.4 - -0.2. Let r = -268.1 + 282. Let k = -14 + r. Is n less than k?
True
Let h be ((-909)/6)/((-6)/(-8)). Let k = 126 + h. Which is smaller: k or -77?
-77
Let y be 1 + 1 - (14 + -10). Let j(o) = o + 1. Let s(n) = n**3 + 3*n**2 + 7*n + 3. Let r(w) = 5*j(w) - s(w). Let m be r(y). Is m at least as big as 2?
True
Let w be (-102)/4*(-1 - (-34)/6). Is -120 less than w?
True
Let k = -13199305/37 + 356897. Let d = k - 159. Whic