2. Let m = t + 0.28. Which is smaller: -2 or m?
-2
Let k = 0.78 + -5.68. Let v = k + 5. Which is bigger: v or 2?
2
Let z be 2/344*4/1. Is z != -1?
True
Let z(y) = y + 9. Let v be z(-8). Let h = -1125/4 - -273. Let o = h - -9. Does v = o?
False
Let t = 1.93 + 0.07. Let f = t - 5. Which is greater: 0 or f?
0
Suppose 4*k + 2 = -2*i, 4*i + k - 2 + 6 = 0. Is 0.037 > i?
True
Suppose -6*d + 2*d + 2*p - 14 = 0, 3*d - 9 = -5*p. Suppose 3 = -0*u - 3*u. Is u less than d?
False
Let p(m) = -m**2 - 7*m. Suppose 4*b + 5*y + 13 = 2*y, 5 = -b + y. Let s be p(b). Which is smaller: s or 13?
s
Let w(c) = c**2 + 3*c - 4. Let q be w(-4). Let j = q + -6. Which is smaller: j or -5?
j
Let z = -8 - -11. Let i = z + -2. Let f = -5 + 2. Is i less than or equal to f?
False
Let m = -531 - -2113/4. Which is greater: m or -3?
m
Suppose 3*t + p = -6 - 14, 2*t - 5*p = 15. Let n be (-2)/8 - t/20. Let h be (-1)/(-12) + (-1)/4. Is h > n?
False
Let x(z) = -z + 11. Let t be x(10). Let l = 4/35 + 128/105. Are t and l equal?
False
Suppose -247 = 4*g - 47. Let h be (-100)/(-30)*(-12)/g. Is 2 at least h?
True
Let m be 12/(-5) + 28/70. Is m >= -3/4?
False
Let f be (-2)/((-2)/1)*54. Let w be 0 + (-3 - f/(-21)). Is w <= 1?
True
Let u = -11216/21 - -534. Let s(i) = i + 6. Let m be s(0). Let a(c) = -c**2 + 6*c. Let n be a(m). Which is greater: u or n?
n
Let t be (1/1)/(2/34). Which is greater: t or 16?
t
Let w = 12 - 17. Let n = -0.16 + -5.84. Let u = n - w. Which is smaller: u or 0?
u
Suppose 18 - 17 = -m. Let x = -1087/7 - -155. Is x greater than m?
True
Let p = 4 - 1. Suppose -p*z - 3 = 2*l, -l + 4*z = -0*l - 26. Let i be (1/3)/(2/l). Which is bigger: 2/7 or i?
i
Let y = 23 - 28. Let a be 4/(-1 - y)*9. Which is smaller: 11 or a?
a
Let b = -78 - -77. Is -3 equal to b?
False
Let p = 6 - 0. Let c = -5 + p. Let j be 2/(-6) - (-1 + c). Which is greater: -2/7 or j?
-2/7
Let l = 3/110 - -393/110. Is 0.1 <= l?
True
Let f = 0.06 + -0.06. Let p = -1 - f. Which is bigger: -2 or p?
p
Let w = 0.061 - -0.029. Let g = -39.91 + 38. Let d = w - g. Is 0.3 at least d?
False
Let q = 0.35 + -0.4. Let c = -0.15 - q. Do 3 and c have different values?
True
Suppose h - 2*z - 3*z = 21, -12 = -4*h - 4*z. Let v be h/5*40/6. Suppose 3*x - 29 = 2*m, 4*m + 4 = -0*m. Which is greater: x or v?
x
Let u = -237859/140 + 1699. Is -1 bigger than u?
False
Suppose -2*x = -2 - 2. Suppose x = d + d. Which is bigger: -1 or d?
d
Let w = -242 - -239. Let g = 7 - 10. Is w less than or equal to g?
True
Let f be ((-14)/(-3))/((-1)/3). Let h = 59/4 + f. Is 0.1 smaller than h?
True
Let w(q) = q**3 - 7*q**2 + q + 5. Let a be w(6). Which is smaller: a or -24?
a
Let s(j) = j**3 + 4*j**2 + j. Let u be s(-5). Let h be (-3)/(-5) - 22/u. Let x(p) = -2*p - 1. Let w be x(-1). Which is bigger: h or w?
h
Let t(v) be the first derivative of -v**2 - 2*v - 4. Let f be t(0). Let p = -1244/5 + 248. Is p != f?
True
Let n be (8/(-42))/(2/3). Let c(d) = 2*d - 2. Let b be c(-4). Let f be b/8*(-4)/20. Is n not equal to f?
True
Let z be (0 - 0) + 3/1. Suppose n = -1, 4*w + 4*n + z = 3*w. Let o = -1 + w. Is 0 at least as big as o?
True
Let v = -33 - -34. Which is bigger: 3/32 or v?
v
Suppose -4*f - f + 50 = 0. Let d be 2/30 + (-4)/f. Let o = 0.03 - -0.07. Which is smaller: o or d?
d
Suppose 49 = 3*k - 5. Suppose -5*y = -2*w - 29, w - k = y - 5*y. Which is greater: w or -1?
-1
Let y = -28 - -19. Let z = y - -5. Let c = 1 + z. Which is smaller: c or -1/3?
c
Suppose 2*y = 5*v - 0*v - 20, -2*v = -8. Suppose d = 5*d. Suppose -5*q = -d*q. Is q != y?
False
Let w = 10.4 + -8.4. Which is smaller: 44 or w?
w
Suppose 9*r = -3*n + 8*r + 63, 0 = 3*n + 3*r - 69. Which is smaller: n or 21?
n
Let x(o) = o**2 + 2*o - 1. Let g be x(-3). Suppose -n = g*n - 6. Suppose -y + 2*y - 3 = 0. Is n smaller than y?
True
Let y = -0.82 + -0.28. Let q = -1.2 - y. Are q and -0.01 non-equal?
True
Let b(s) = -3*s**3 + 7*s**2 - 3*s + 9. Let l(v) = v**3 + v**2 + v. Let q(x) = b(x) + 2*l(x). Let n be q(9). Let d = 0 + n. Which is smaller: 1/4 or d?
d
Suppose -3*w - w = 2*k - 14, -4*w = k - 11. Let r = w - 141/70. Let y = r + -131/630. Are 1 and y unequal?
True
Suppose -n - 4*n + 390 = 0. Let l = n - 121/2. Let z = -247/14 + l. Which is greater: 1 or z?
1
Let g = 235302/5 + -47252. Let a = 191 + g. Is 0 less than or equal to a?
False
Let a be 7/4 + 18/(-24). Which is smaller: a or 3/2?
a
Let l be 20/15 + (-4)/6. Let v = 0.3 - 0.1. Is v smaller than l?
True
Suppose 0 = r - 4*q + 1, 38 = -2*r - q. Let v = r - -9. Is -6 at least as big as v?
True
Let x = -2.6 + 3.12. Let q = -0.32 + x. Let r = -3 - -2. Which is greater: q or r?
q
Suppose -5*q - 9 = 3*o - 25, -2*q + 8 = 2*o. Suppose 5*v + 4 = -o*m, -3*m + 0*v = -v - 11. Which is smaller: m or 1?
1
Let g = -4 + 4. Let q(h) = -1. Let p(z) = -2*z - 1. Let a(v) = p(v) + 2*q(v). Let u be a(-2). Which is greater: u or g?
u
Suppose 4 - 24 = -4*y. Suppose -7*u + 63 = 2*u. Which is greater: u or y?
u
Suppose q + 17 = 19. Let i be (1 + q)/(-2 + 7). Is 2 bigger than i?
True
Let g be 4*(0 - 3/4). Let l = 2.9 - 3. Which is greater: l or g?
l
Let w be 1/(-3*(-2)/(-24)). Is w at most 0?
True
Let u(s) = s**2 + s + 2. Let b be u(0). Suppose -b*q + 0*q = 0. Is q at most 1?
True
Let i(f) = 11*f + 13. Let m be i(-4). Is m > -2/7?
False
Let o(b) = -b**2 + 4*b - 2. Suppose -4*x + 30 = 5*c, c = -c + 3*x + 12. Let q = -2 + c. Let i be o(q). Is -2 at most as big as i?
True
Let q = 0.3 + -0.6. Which is smaller: -2/7 or q?
q
Let v be 1*3*(-2)/36. Does v = -1?
False
Suppose 4*f = 2*f + 8. Suppose 5*q + 11 = -f. Suppose 0*g + 8 = -4*g. Which is greater: q or g?
g
Let i be (-11030)/93 - 5/15. Let p = i + 119. Is -1 >= p?
False
Let w = 2/459 + -2144/459. Which is smaller: -5 or w?
-5
Let s = 25 + -23. Which is bigger: s or 2/5?
s
Let t(o) = o - 3. Let i be t(9). Which is smaller: i or 9?
i
Suppose 0*o = 5*s + 4*o + 57, -3*s - 15 = -4*o. Which is smaller: -10 or s?
-10
Suppose 0 = -r - 0*r - 5. Let d be r/20 - 2/(-8). Which is bigger: d or 1?
1
Let x(i) = 2*i**2 + 5*i + 4. Let b be x(-1). Which is smaller: -0.12 or b?
-0.12
Let h(r) = -4*r**2 - 12*r - 10. Let i be h(-5). Is -49 greater than i?
True
Let h = -20.2 - -22. Let c = -1.6 + h. Let y = 0 - -1. Is y at least as big as c?
True
Let d = 99 + -1059/11. Let z = -267/110 + d. Is 0 > z?
False
Suppose 25*d - 18*d = -14. Which is bigger: -19/9 or d?
d
Let b = -77/2 - -39. Is b at least as big as -4?
True
Let s be ((-1)/(-4))/(-1*5/90). Which is smaller: s or 3?
s
Let t(b) be the first derivative of -b**3/3 + 3*b**2 + 7*b + 1. Let z be t(7). Is z <= 1?
True
Let b(y) = -y**2 + 7*y + 3. Let x be b(8). Which is greater: -19/4 or x?
-19/4
Let v = 2 - 1. Let q = 28 + -19. Let l = -8.9 + q. Is v smaller than l?
False
Let h = -207/11 - -19. Let l(j) = -j**2 + 5*j. Let c be (-5)/(1 + 1 + -3). Let n be l(c). Which is greater: n or h?
h
Suppose 0 = 2*u + 1 - 11. Suppose 5*p - u*h = 0, 5*h - 20 = p - 6*p. Suppose p*o + o = 3. Is 1/4 smaller than o?
True
Let y = -141/35 + 24/7. Let g = -1 - -3. Which is greater: y or g?
g
Let u be 4 + (1 - 1) - 5. Is u at most 2?
True
Let h = 52 + -51. Suppose i + 2*i = 6. Are i and h nonequal?
True
Let u = -15868/573 - -5/191. Let f = -151/6 - u. Does f = 1?
False
Let p = 37 + -55. Let n be (-10)/p - (-6)/(-27). Which is smaller: 0.1 or n?
0.1
Let r = 0.47 + -0.67. Is 0.7 not equal to r?
True
Suppose 121 = -4*y + 21. Let u be ((-2)/5)/(5/y). Suppose 0 = -x - 3*n - 11, -u*x - 5*n = 17 + 2. Which is bigger: x or -5?
x
Let t(h) = -7*h + 6. Let l be t(-6). Let u be (-2)/5 + l/20. Which is smaller: u or 3?
u
Let m be -1*(1 - (0 + 1)). Suppose -u = -5 - m. Suppose 0 = 3*x + x + 4, 4*x - 14 = -3*c. Which is bigger: c or u?
c
Let l = -6 - -9. Let k(r) = 4*r + 2. Let u be k(-3). Let q be 4/u*l/(-6). Which is smaller: q or 1?
q
Let a = 153/7 - 2629/119. Are 0 and a non-equal?
True
Let a be (-8 + 3)*(3 + -4). Is 3 < a?
True
Let r(m) = -m**2 - 2*m + 1. Let p be r(-3). Which is smaller: -0.5 or p?
p
Let o = 2 + -3. Which is smaller: -4 or o?
-4
Let b = 26 + -14. Suppose -b = 3*f, -f + 2 = 2*j - 2*f. Which is bigger: j or -2?
j
Suppose 2*b + 12 = 5*o - o, 5*b + 5 = 5*o. Suppose 3*c - 2*c = 0. Suppose c*h + 10 = o*h. Is h at least as big as 1/2?
True
Let s be 4/8 - (-17)/2. Let b(p) = 2*p + s - p - 2*p. Let f be b(9). Is 