t least -2?
True
Suppose -m = -2*m + 4. Is m at least 4?
True
Let y be (-15)/(-6) + 3/(-6). Which is smaller: y or 3/4?
3/4
Suppose 0*t - 4 = -2*t. Let q be -3*((-8)/(-6) + -2). Does q = t?
True
Let d be 10/(-35) + (-95)/(-651). Let z = -15 - -471/31. Let p = z - d. Which is smaller: p or 1?
p
Let m be ((-146)/(-20))/(88/20). Let w = 54/11 - m. Which is smaller: 4 or w?
w
Let m be 2/8*(-225)/(-10). Which is bigger: 7 or m?
7
Suppose 28 = -0*y + 4*y. Are y and 8 equal?
False
Let r = -1/2 + 3/4. Suppose 2 = 3*c - 1. Which is greater: c or r?
c
Suppose -4 = -3*c + 2. Let n be 9/(0/c + 1). Suppose 21*x = 12*x + 72. Which is greater: n or x?
n
Let h = 0.93 + -1.93. Let d = 0.09 - 0.16. Let v = 0.37 + d. Is v greater than h?
True
Let b(c) = c**3 + 4*c**2 - 4*c + 4. Let a be 51/(-12) + 6/(-8). Let x be b(a). Are 6/13 and x equal?
False
Let s = -21 - -17. Let p be 4/(24/(-27)) + 0. Which is smaller: s or p?
p
Suppose 0 = -4*j + 4, j + 2 = -u + 4*u. Let n be 3*4/4 + -12. Let r be 3 - n/((-108)/40). Is u >= r?
True
Suppose -2*w + 36 = 2*w. Let b = w + -15. Let f be 2/b - (-8)/(-3). Are -3 and f equal?
True
Let u = 89/4 - 22. Let o = -0.5 - -0.6. Which is bigger: o or u?
u
Let j(k) = k**2 - 2*k + 2. Let y be j(1). Is y less than -0.2?
False
Suppose -k - 19 = 4*y, 5*k + 12 + 7 = -y. Are -3 and k equal?
True
Suppose 18 - 22 = -4*o. Is o not equal to 1/6?
True
Let i be 1/6*(-117)/(-65). Let n = 0 - 0. Is i smaller than n?
False
Let c = 88 + -88. Is c at most as big as -22?
False
Let t be ((1 - -3)/1)/((-36)/(-54)). Suppose d - 20 = 3*j, -2*j = -2*d + 3 + 17. Is t != d?
True
Suppose -2*h = 5*a - 36, -h + 3*a - 6 + 2 = 0. Is h at most 6?
False
Let p be (15/9)/(-1) + -3. Let m be -2 - 12/5 - 8/(-20). Which is smaller: m or p?
p
Let w be 1 + 0 - (1 + -1). Suppose 4*i - 19 = -3*v, -3*v + 7 = -0*v + i. Let p be ((-2)/(-39))/(v/3). Which is smaller: w or p?
p
Let p be 0/(((-12)/4)/3). Which is bigger: p or -1/27?
p
Let j = 299/6780 - -2/339. Which is bigger: 3 or j?
3
Let n be 100/6 - (-24)/(-36). Which is smaller: 15 or n?
15
Let i = 3 + -1. Let v = 39 - 36. Do i and v have the same value?
False
Suppose 0 = h - 1 + 2. Is h at least as big as 3/11?
False
Let v = 1/45 + -17/15. Let r(q) = q**3 - 7*q**2 + 5*q + 4. Let f be r(6). Which is smaller: f or v?
f
Suppose 2*b - 4 = -6. Which is smaller: 5/7 or b?
b
Let o = 38 - 39. Is 1/33 at most as big as o?
False
Let g be (((-16)/(-42))/4)/(-2). Suppose x - 8*x = 0. Is x >= g?
True
Let u = 1 - 0.99. Is u at least 2?
False
Let t = 2 + 3. Suppose -2*m = 5*i - 2, 0 = -m + 2*m - t*i - 1. Which is bigger: 2 or m?
2
Let n(a) = -12*a + 1. Let h be n(4). Does -47 = h?
True
Let i(b) = 2*b**2 - 30*b - 8. Let z be i(16). Which is greater: z or 23?
z
Let a(o) = -2*o + 3. Let k be a(9). Are k and -16 non-equal?
True
Let b = 64/21 - 10/3. Which is smaller: 1 or b?
b
Suppose -397 - 35 = -4*h. Suppose -5*w - h = -w. Let n be ((-1)/3)/(3/w). Is -1 greater than or equal to n?
False
Let q = 8 + -4. Suppose -2 = -4*t - 2*s + q, 5*t + 15 = 5*s. Which is smaller: t or 1?
t
Let p(f) = -16*f + 3. Let k be p(2). Let c = -92/3 - k. Which is greater: c or -2?
c
Let x(t) = -t**2 - 8*t + 13. Let v be x(-9). Let c(q) = q - 4. Let s be c(v). Which is greater: 1/2 or s?
1/2
Let f(l) = -l**2 + 8*l - 1. Let v be f(7). Let o be (14/v - 2)*1. Let p = 1 + 0. Which is smaller: p or o?
o
Let h(z) = 2*z**2 - 4*z - 1. Let l(y) = y**2 - 2*y. Let b(r) = -4*h(r) + 7*l(r). Let f be b(3). Which is bigger: 1/8 or f?
f
Let t = 47 - 29. Let j = -17.9 + t. Is j less than 1/12?
False
Let j(p) = -3*p**2 + p - 1. Let a(g) = 2*g**2 - g + 2. Let y(z) = -2*a(z) - 3*j(z). Let f be y(-1). Suppose 2*o + 9 = f*o. Do 3 and o have the same value?
True
Let x be 35/4 + 3/12. Let v(s) = -5*s - 5. Let h be v(-3). Is x at least h?
False
Suppose -x = 2*k - 2, x + 5*k + 0 = 2. Let u = 3 + -2. Let q be u/2 - (-3)/6. Which is smaller: q or x?
q
Suppose 0 = 3*k - 3*j + 12, 0*k - 2*j = -k - 8. Suppose 5 = n + g, -7*n = -2*n - 3*g - 25. Suppose 3*t + n = 2*l, t + 4 = -4*t - l. Is k != t?
True
Let s(q) = -6*q - 8. Let u be s(7). Let o = -299/6 - u. Which is greater: o or 1?
1
Let z = 5 + -6. Is 0.15 > z?
True
Suppose 0 = -8*a + a - 259. Is 2 at least as big as a?
True
Suppose 0 = -5*n + n. Is 2/5 at least as big as n?
True
Let q be -15*-2*(-12)/(-8)*1. Does q = 44?
False
Let o be -5*(-15)/(10/(-2)). Is -16 not equal to o?
True
Suppose -17 = 12*z + 7. Which is greater: z or -19/7?
z
Let z be 26/10 - 2/(-5). Suppose 0 = 2*j + z*j + 15. Let k = j + 1. Is k less than or equal to -3?
False
Let s be 8 + 1 - -1 - -4. Do s and 15 have the same value?
False
Let r = 0 - 0.1. Let u = -46 + 47. Which is bigger: r or u?
u
Let k = 0.28 + -4.28. Which is smaller: k or 1/3?
k
Let v(x) = x + 5. Let j be v(-5). Let a(o) = o**3 - 11*o**2 - 12*o + 11. Let t be a(12). Let w be t/22*(-8)/(-34). Which is smaller: w or j?
j
Suppose 0 = -14*a + 3*a - 154. Is -14 != a?
False
Let a(i) = -i**2 - i - 4. Let q be a(-3). Which is smaller: q or -9?
q
Let k be 20/(-3) - 10/(-15). Let z be 34/(-70) - k/30. Which is smaller: z or 0?
z
Let s = 9404/23 - 409. Are s and 0 equal?
False
Let s be 26/40 + 14/(-35). Which is smaller: s or -2.1?
-2.1
Suppose -4*l + 8 = -8*l. Which is greater: -5 or l?
l
Let x = 0.04 - 0.24. Is -0.05 > x?
True
Let n(u) = u**2 - 9*u - 16. Let t be n(11). Which is smaller: t or 7?
t
Suppose -7*v - 54 = -4*v. Let t be 3/v*(1 + -5). Is -1.6 at most as big as t?
True
Let d be 122/8 + (-3)/12. Let c be ((-2)/3)/(10/d). Which is smaller: c or -3/8?
c
Let u = 0.4 + -13.4. Which is smaller: u or 3/2?
u
Let n = -79 + 47. Let v = 65/2 + n. Which is bigger: -0.1 or v?
v
Let d be (-8)/(-12) - (-64)/3. Suppose 4*h + 14 = s, 4*s - 3*h - 94 = -6*h. Is s bigger than d?
False
Let d = -0.037 - 0.063. Suppose 0 = -3*h - 6, 3*w + 2 = -h - 3. Which is greater: d or w?
d
Let o(x) = -x + 1. Let n be o(1). Let l(j) = -j**2 - 6*j + 11. Let v be l(-8). Let b = v + 6. Which is smaller: n or b?
n
Let o = 1/12 - -17/84. Let f(n) = 8*n - 4. Let q be f(3). Suppose 4*y + 0 + q = 4*m, -5*y - 2*m + 10 = 0. Which is greater: o or y?
o
Suppose -l = 4*d - 42, 6 + 8 = d + 2*l. Let b = d - 13. Which is smaller: b or 0?
b
Let n = 2 + -3. Let s = -1/184 + -171/2392. Are n and s non-equal?
True
Suppose 0 = 4*i + 3*v + v + 116, -3*i - 2*v - 85 = 0. Let k be 2 + 48/i + 0. Which is smaller: -1 or k?
-1
Suppose 4*u - u = 2*a + 8, -2*u = 0. Let x = -5 - a. Is x smaller than -2?
False
Let n = 2 + 0. Let w = -5 - -7. Let x be (21/(-6) - -2) + w. Which is smaller: x or n?
x
Let u = -0.1 + 0.2. Let z = 3 - -1. Let k = 3.8 - z. Which is smaller: k or u?
k
Let w be 2/(-6)*2/10. Let a be (-4)/(-6) - (-24)/(-9) - -1. Is a bigger than w?
False
Let b be ((-10)/6)/((-1)/(-3)). Let o = b - -11. Let c = -8 + o. Is -2 greater than or equal to c?
True
Let v = 10 + -3. Is v less than 6?
False
Suppose 0 = -2*a - 6 + 2. Let s = -52/165 - 1/55. Is s less than a?
False
Let o = 2 - 1. Let x(a) = a**2 + 6*a + 4. Let c be x(-5). Let j be (0 + o + -2)*c. Are -1/7 and j equal?
False
Let h = 113/5 + -23. Let y = -0.45 + -0.05. Let w = y - -0.7. Which is greater: w or h?
w
Let z = 8 - 7.96. Let c = z + 0.06. Let k = -0.02 - 3.98. Which is smaller: c or k?
k
Suppose -5*p + 26 = -2*b, 0 = -5*b + 3*p - p - 23. Let g be (-42)/4*(-24)/14. Let x be (-21)/g + (-1)/(-6). Which is smaller: b or x?
b
Let r(p) = -p + 1. Let u be r(-2). Suppose 3*g + 2*g = u*f - 14, 10 = 2*f - 4*g. Let x = -2 + f. Is x != 2?
True
Let y = 7.9 - 8. Let r be (-1)/4*(-16)/(-14). Which is greater: y or r?
y
Let q be (-1)/((-3)/(-24)) + -1. Let b be ((-12)/9)/(2/q). Is 7 < b?
False
Let q = 48.914 - -0.086. Which is smaller: -0.1 or q?
-0.1
Suppose 7 - 27 = 5*m - 5*q, -4*m - 14 = -2*q. Let s be m/(-4) + 3/12. Let u = 12/49 + 2/49. Which is bigger: u or s?
s
Let i = -0.1 - 2.9. Let x = 15.4 + -18. Let h = x - i. Do h and 0.2 have different values?
True
Let o = 1/14 + -15/112. Which is bigger: o or 0?
0
Suppose 0 = -2*k, 0 = -3*r + 5*r - 4*k - 6. Let d(a) = -a + 4. Let m be d(r). Suppose -i - 2 = -m. Does 1/2 = i?
False
Let a = -5 + 7. Suppose -h = a*h. Suppose -w + 3*w + 6 = h. Do -5 and w have the same value?
False
Let u = -36 - -21. Let i be 2 + (57/u - -2). Which is smaller: 1 or i?
i
Let r be (-135)/(-140)