t?
-0.1
Let y = -13.4 - -13. Let q = -2 - -3. Which is smaller: y or q?
y
Suppose -9*v + 18 = -45. Let w(g) = -g + 5. Let k be w(v). Is -5/2 > k?
False
Suppose 0 = a - 3*a. Let p be (26/(-390))/(15/50)*3/(-2). Which is bigger: p or a?
p
Suppose 0 = -5*y - 3*m - 11, 3*y - 1 + 2 = m. Which is smaller: y or 3/131?
y
Let c(p) = p - 10. Let b(s) = -s**2 - 14*s - 12. Let f be b(-12). Let g be c(f). Suppose -t = -g*t - 4*w - 9, -13 = -3*t - 2*w. Is t at most as big as 8?
True
Let j(u) = u**3 - 9*u**2 - 10*u. Let v be j(10). Let n = -27 - v. Is n less than or equal to -25?
True
Suppose 12*q - 2*q = 10. Suppose -q = -5*f + 2*z + 4, -2*f + 2*z = -2. Is -1/3 at most f?
True
Let x(i) = -i**2 + 5*i - 4. Let d be x(4). Let o be (196/176 + -1)/(1/(-24)). Let z = o + 379/143. Are z and d equal?
False
Let u = -9.5 - -20.5. Is -4 smaller than u?
True
Let j = 4/7 - 57/14. Let a = j - -79/26. Is a equal to 1?
False
Suppose -9636 = -26*i - 18*i. Do 214 and i have different values?
True
Let x(a) be the second derivative of a**4/12 - 5*a**3/6 + 3*a**2/2 - 2*a. Let z be x(3). Suppose 0 = 2*p - 3*f + f + 14, -5*p - 7 = 2*f. Is z >= p?
True
Let m = -58 - -51. Let d = 7 - m. Let g = 49 - 35. Are d and g unequal?
False
Let i(n) = -n**3 + 17*n**2 - 17*n + 8. Let f be i(16). Is -5 >= f?
True
Let r(f) = f - 2*f**2 - f**2 + 2*f + 2*f**3 + 4 - 3*f**3. Let y be r(-3). Let m = 12 + y. Which is greater: 8 or m?
8
Suppose -14*c + 8 = 22. Which is smaller: c or 3/170?
c
Suppose 4*p = 5*c - 29, 0*p - 4*c = -2*p - 22. Let i be 3*(-10521)/3159 + 10. Which is smaller: i or p?
p
Let r = -98 + 108. Suppose -r*l + 5*l = -4*l. Which is bigger: l or 3/55?
3/55
Let p(z) = 50*z**2 + 13*z - 10. Let s be p(9). Let q be 0 + s/(-15) + -3. Let f = q + 280. Which is bigger: f or -1?
f
Suppose 3*b = -5*p + 24, -3 = 3*b + b - 5*p. Let s = -1229 - -1233. Which is bigger: b or s?
s
Let t = 551518/157095 + 4/10473. Let w = t - 17/5. Let d = 3 + -3. Which is smaller: w or d?
d
Let t(y) = 2*y**2 - 39*y + 5. Let s(u) = 3*u**2 - 59*u + 7. Let j(i) = 5*s(i) - 8*t(i). Let r be j(17). Let k be (15/10)/(2/(-4)). Which is greater: r or k?
k
Suppose -2*f + 6*f = 112. Suppose -5*a + 8 = 3*q, -5*q - 5*a + f = -4*a. Let n = 10 - q. Are n and 4 equal?
True
Let x = 77 - 50. Let z be x/36 + 38/(-24). Which is smaller: 0 or z?
z
Let k = 2194985/17 + -129176. Let n = 59 + k. Is n at most as big as -2?
False
Let m = 5 - 6. Let p = 257 - 275. Which is smaller: p or m?
p
Let n be ((-75)/17)/3 + 8/8. Does 0 = n?
False
Let x = 42649/31 + -1376. Let g be -3 - (-345)/155 - (-4)/10. Let b = x + g. Which is bigger: -1 or b?
b
Let t be 4 - -3*(9485/(-21))/(-5). Which is bigger: t or 273?
t
Suppose -3*s - 18 = 3*s. Let t be 15 + s - (-3 + 5). Which is smaller: 1 or t?
1
Let f = -1542.8 + 1543. Which is smaller: 2/131 or f?
2/131
Let o be (408/16)/((-3)/(-4)). Let h = 13 - o. Let x = h - -12. Is 0.2 < x?
False
Let d = -403247/68 + 5930. Do -1 and d have the same value?
False
Suppose -83*w - 1148 = -79*w. Is -571/2 at most w?
False
Let t be (-43)/(-35) + (-3)/(-15). Suppose 4*x - k + 18 = 0, -2*x = -5*k + 22 - 4. Let w be (2/(-2) + -3)/x. Which is bigger: t or w?
t
Let i(k) = 3*k**2 + 54*k - 19. Let v be i(-18). Which is bigger: v or -200/11?
-200/11
Let g(b) = -2*b**2 - 4*b - 2. Let q be g(-2). Let n be ((-1491)/(-56))/((-2)/4). Let a = 52 + n. Which is smaller: a or q?
q
Let m = 5/99 + -124/495. Is m at least -56?
True
Let q be (3 - 125/35)/(4/(-14)). Suppose 4*a - 3 = 13. Suppose 12 = a*f, -6*l = -3*l - 5*f + 15. Are l and q unequal?
True
Let k = -14.644 + 16.59. Let a = k + -0.026. Let d = -0.08 - a. Does d = -0.2?
False
Let p be -1 - 1/((-2)/40). Let b be (870/(-116))/(3/(-2)). Suppose 4*z = 6*i - 5*i + p, -4*z + 31 = -b*i. Is i != -1?
True
Let b = -8 - -14. Let u = 2.02442 - 0.02442. Is b < u?
False
Let j be (3 + -2)/(1/5). Suppose -8 = -3*l + j*l. Are l and -5 unequal?
True
Let i = 27 + -37. Let o be 1 - (48/i)/(-4). Is 1 >= o?
True
Let m = 2.1 - 2. Let q = 3684.07 + -3669. Let z = q - 15. Is z greater than m?
False
Let d = 1083328 - 7596914/7. Let n = -1940 - d. Which is bigger: n or 4?
n
Let q = 1.155 + -0.955. Which is smaller: 322 or q?
q
Suppose 2 = 4*x - 6. Suppose -2*f - x*f = 84. Let q be -4 - 117/f - 1. Is q at least 2?
False
Let m = 82605/17 + -4863. Are m and -4 nonequal?
True
Let c be (1 + -2)/(1/(-6)). Let x be (0 - -1)*(-5 + 6). Which is smaller: x or c?
x
Let n be (6/(-4))/(6/152). Let x be n/(-8) + 3/12. Suppose -2 - 10 = -2*a. Which is smaller: x or a?
x
Let s be ((-4 - -2) + 15/15)*25. Suppose 50 = 11*b - 13*b. Is b not equal to s?
False
Let r = 276 - 161. Let h be (-2)/(-6) - r/(-15). Let f be (4/h)/(5/(-4)). Is f less than or equal to -24?
False
Let j be -1 + 30/((-5)/(-1)). Let n be ((-45)/j*(-8)/(-6))/1. Is -12 >= n?
True
Let j(y) = 3*y - 10. Let n be j(2). Let d = -142/33 + 18/11. Is n greater than or equal to d?
False
Let p = 154/15 - 808/105. Let k(q) = -q**2 + 6*q + 6. Let d be k(6). Suppose -3*w = 3*z - 24, -d*z = -2*z - 20. Which is smaller: p or w?
p
Let z be ((10 - 4)*1)/3. Let b be z - (4/8)/1. Which is smaller: b or -6?
-6
Suppose 31*u = 26*u - 25, 4*u + 60 = -4*x. Let a = -11 - 0. Which is smaller: x or a?
a
Suppose 4*d + 4*c - 72 = -0*c, 0 = 2*d - 2*c - 36. Which is bigger: 22 or d?
22
Let k = 206 + -215. Which is smaller: -3 or k?
k
Let y(k) = k**2 + k - 1. Let f be y(0). Let v = 307 - 2776/9. Is f at most v?
False
Let z be ((-12)/7)/((-12)/1050). Let l be (40/z)/(3/9). Is 1 less than l?
False
Suppose p - 5 = -0. Suppose -2*k + 2 = -a, 934*a = 936*a + 5*k - 23. Which is smaller: a or p?
a
Let s = 119 + -119.1. Which is smaller: 37 or s?
s
Let d be 8/(-12)*(-22 + 0 + 4). Which is greater: d or -24?
d
Suppose 3*j - 38 = -2*b, j + 4*b + 0 = 26. Let s be (5 + -2)*j/(-15). Let v = 3 + s. Are -2/41 and v nonequal?
True
Suppose 21*x = 678 + 141. Do 38 and x have the same value?
False
Let k(y) be the second derivative of y**3/3 + 6*y**2 - 4*y. Let a be k(-6). Let o(j) = j + 5. Let d be o(-4). Which is smaller: d or a?
a
Let z = -0.26 - -0.3. Let g = 2.04 - z. Suppose -6 = -3*p, 2*b - 4*p = 3 - 7. Are b and g nonequal?
False
Let t = 335 + -283. Is t > 54?
False
Let y be -2 - (-87)/(-6) - (-8 - -8). Which is bigger: y or -16?
-16
Suppose -6 = 2*a + 4*a. Which is bigger: a or 1/377?
1/377
Suppose 155 = 4*i - 9*i. Let z(s) = 2*s - 23. Let y be z(11). Which is bigger: y or i?
y
Suppose -10 + 138 = -4*p. Let h be (24 - (4 + -3))/(-1). Let s = h - p. Is 0.1 at least as big as s?
False
Let k(x) = 3*x**2 - 1. Let f be k(-3). Suppose 2*i - 4*r + 0*r = f, 0 = 4*i - r - 17. Let t(l) = -l + 2. Let n be t(i). Is n at most as big as -2?
False
Suppose -54 = 6*c - 12. Let o(w) = -2*w - 8. Let q be o(c). Which is greater: q or 4?
q
Let t(p) = -p. Let y be t(-6). Suppose -y - 1 = -i. Which is smaller: i or 4?
4
Let j = -5 - -3. Let g(a) = 44*a + 16. Let q(v) = 8*v + 3. Let d(n) = 5*g(n) - 28*q(n). Let l be d(j). Do l and 3 have different values?
True
Let x = 147 + 33. Which is smaller: x or -0.1?
-0.1
Let t = -53 - -2. Is -51 < t?
False
Let q(u) = u**3 + 5*u**2 - 3*u - 2. Suppose -x - 18 = 13. Let f = -36 - x. Let v be q(f). Which is bigger: v or 1?
v
Suppose -23*r - 70 = -25*r. Which is smaller: r or 31?
31
Let h be ((-140)/(-5))/(-1) + -1 + 5. Let s(u) = u**2 - 7*u - 1. Let j be s(7). Is h less than or equal to j?
True
Let t = 150 - 239. Which is greater: -90 or t?
t
Suppose u - 3*a + 169 = 448, -5*u + 2*a + 1382 = 0. Which is smaller: 277 or u?
u
Let j = -0.89 - 0.21. Let q = j + 2.9. Let b = q + 0.2. Which is greater: 2/5 or b?
b
Let m(i) = i**3 + 18*i**2 - 32*i + 10. Let k be m(-20). Is -149 at least k?
True
Suppose 9*r + 230 = 14*r. Let h = r + -227/5. Is h not equal to -0.1?
True
Suppose 24 = h + 2*h. Suppose -56 = -i - 3*d, 3 = 3*d - 3. Let o = -44 + i. Which is smaller: h or o?
o
Suppose 2*p + n - 12 = -4*n, -4*p - 3*n + 10 = 0. Suppose -2 = t + p. Let o be 2/(t/27*-6). Are 2 and o equal?
False
Let r = 243/340 + 3/85. Let n be -2 + 3/(3/2). Which is smaller: r or n?
n
Let c = 10 + 12. Suppose 2*r - c = -4*i, 7 + 16 = r + 5*i. Let d be 1183/(-1855) + r/5. Which is smaller: d or 0?
d
Suppose 4*t = 4*y + 20, -5*t - 2*y - 6 = -3. Suppose -q - t = 2. Are q and 4 nonequal?
True
Let v = -116 + 116. Is 332 >= v?