 + -86. Is v at least as big as -0.11?
False
Suppose -544 - 6 = -5*t. Let a be ((-335)/t + 3)*-4. Which is bigger: a or 13?
13
Suppose 88*x = 102*x. Which is smaller: 3/100 or x?
x
Let f be 4*(4 + (-3)/3). Let a be (-20)/f*1/(-25). Which is smaller: a or 1?
a
Let b = 3 + 0.9. Let g = 4 - b. Let m = -0.13 + 0.23. Is g at most m?
True
Let c = 74 + -62. Do c and 40/3 have the same value?
False
Suppose 4*z - 2 = -18. Let p = -12 - -8. Are p and z non-equal?
False
Let r = 84310/13077 + -4/1453. Which is smaller: -0.1 or r?
-0.1
Let q = -859 + 861. Which is smaller: 13 or q?
q
Let n(m) = 3*m**2 + 35*m - 17. Let t be n(-12). Which is greater: 4 or t?
4
Let a = -10 + 46. Let p = -38 - -4. Let c = p + a. Are c and -1/14 non-equal?
True
Suppose 4*u - 2*u + 1074 = 0. Let k = 2626/5 + u. Let b = 58/5 + k. Which is bigger: b or 0?
0
Let g be 497*(1 + 0) - -3. Is g != 499?
True
Let j(k) = 10*k**2 + 2*k - 2. Let y be j(-2). Let u = y + -547/16. Suppose 7 = -m - 21*r + 23*r, -2*r + 1 = 5*m. Which is bigger: m or u?
u
Let d be -23 + -1 - (-4 - (-7 - -1)). Let h be 4/d - (-2022)/11622. Which is smaller: h or 0?
0
Let z be ((-6)/(-5))/(-2 + 69/30). Suppose 4*c + c - 4 = -z*k, -3*k + c = -22. Is 7 < k?
False
Suppose -5*b = -4*k + 7 + 18, -2*k + 10 = -2*b. Let h(z) = 2*z + 4. Let m be h(k). Suppose 1 + m = 5*r. Which is greater: r or 5/4?
5/4
Suppose -4*z - 182 = -3*n, 3*z = 4*n - 0*n - 147. Let x be (0 + 1)/(1/(-41)). Is z less than x?
False
Let l(v) = -2*v**2 - 3*v**2 + 4*v**2 - 3 + 4*v + 0. Let d be l(3). Which is greater: 3/19 or d?
3/19
Let y(k) be the first derivative of -k**4/4 - 4*k**3 + k**2/2 - 7. Let b be y(-12). Let c be (-80)/12*b/(-4). Is -19 greater than or equal to c?
True
Let s = -23 + 10. Let y be 6/4 - s/2. Let k = 12 + -5. Which is bigger: k or y?
y
Let g(o) = 56*o - 56. Let j be g(-5). Are j and -337 non-equal?
True
Let t be 24/5*70/28. Let q be ((-4)/t)/(21/(-18)). Let m be 4/(-3) + (-1)/(-3). Which is smaller: q or m?
m
Let d be -1 - ((2 - 3) + 10). Let y = -7 - d. Is 7 greater than y?
True
Suppose -3*d + 3*r + 3 = 0, -4*d + r = 13 - 20. Which is smaller: d or 10/17?
10/17
Let g = 21.9 + -17. Which is bigger: 1/2 or g?
g
Let w be 7 - (5 - (1 + 2)). Suppose -w*g - u = -33, -4*g + u + 9 = -2*g. Let q be 30/18 + 2/g. Is q greater than 3/5?
True
Let p be (-30)/(-7) + (-2)/7. Suppose 8*t - 77 = -53. Which is bigger: t or p?
p
Suppose 0*t = -8*t + t. Let v be ((t/2)/1)/(-1*2). Let k be (6/(-4))/((-93)/4). Which is smaller: v or k?
v
Let a = 33 + -18. Suppose 2*k + a = 7*k. Which is greater: 1 or k?
k
Let v be 168/(-175)*12/18. Which is smaller: -1 or v?
-1
Let m(y) = y**3 - 2*y**2. Let k be m(2). Suppose 2*z - 22 = 2*u, -5*u + 3*z - 23 - 34 = 0. Let w be 26/6 + 16/u. Which is smaller: k or w?
k
Let w = -6 - -24. Suppose -w*t + 23*t = 40. Let d be (2/(-6))/(1/(-21)). Does t = d?
False
Suppose 4*k - 2*y + 4 = 0, -3*y = -2*y. Suppose 2*i + 3*s - 15 = -0*s, 3*s = -5*i + 51. Let r be (i/7 - 2)*-1. Which is bigger: r or k?
r
Let b = -3536 + 2472. Let g be -2 + 24/14 - b/980. Which is bigger: g or -1?
g
Let z(i) = 2*i**3 + 15*i**2 + 18*i - 5. Let b be z(-6). Suppose 7*u + 20 = 2*u. Does b = u?
False
Suppose 3*n - 26 = -17*d, -6*d = 5*n - 5*d + 148. Let j be (-2)/((-8)/33)*-4. Are n and j equal?
False
Let r be ((-2160)/(-672)*8/(-10))/26. Which is smaller: 1 or r?
r
Let z = 850 + -855. Is z >= -23?
True
Suppose -2 = -4*v + 14. Suppose -4*a = v*l + 16, 3*a - 2*a = 0. Suppose -1 + 13 = -4*i. Which is bigger: i or l?
i
Suppose m + 2*z - 2 = 0, -4*m + z = -0*z - 8. Which is smaller: m or 13/8?
13/8
Let u = 50 + -14. Suppose -3*x - u = -3*z + 36, -5*x = 25. Is 19 greater than z?
False
Let c be ((-2)/(-312))/(75/(-200)). Which is greater: -1 or c?
c
Suppose -q = 3*q - 2*m, 5*q = -2*m + 18. Suppose 0 = -s - r, -r = 2*s - q*r. Let b be s/((-2)/(-2) - 3). Is b less than -4/21?
False
Suppose 5*p - 24 - 16 = 0. Suppose 0 = 4*m - p*m - 48. Suppose -39 + 0 = 3*u. Is u at least m?
False
Suppose 168*g + 32 = 152*g. Let y = -2 - -13. Is g less than y?
True
Let i = 9 - 15. Let u = 4.929 - 0.029. Let v = -5 + u. Which is smaller: v or i?
i
Suppose 5 = -s + 18. Suppose 0 = -3*j + s + 14. Let t be (-1 - (1 + -2)) + 8/1. Which is greater: j or t?
j
Suppose 0 = 5*s - 3*x - 7, 0 = 2*x - 0 - 2. Suppose j + s*j - 12 = 0. Let i be 6/(-18) + (-2 - 22/(-3)). Which is bigger: i or j?
i
Let g = 178 + -777. Are g and -599 non-equal?
False
Let h = -870 + 847.05. Let z = 23 + h. Let m = z + -0.05. Which is smaller: -3 or m?
-3
Let q = -2 - -10. Suppose q = 57*u - 59*u. Is u at most -4?
True
Let c(a) = -a. Let n be c(11). Let f = -75 + 63. Which is bigger: f or n?
n
Let b(q) = -7*q**2 - q - 2. Let x(v) = v**2 + v + 1. Let o(g) = -b(g) - 5*x(g). Let a be o(5). Do a and 26 have the same value?
False
Let v = -5.74 - -6. Let d = v - -0.74. Which is bigger: d or 2?
2
Suppose 8 = 3*w - w. Let v(k) = 3*k - 2. Let m be v(w). Which is smaller: 34/3 or m?
m
Let v = -7 + 8. Let g = -1.1 + v. Suppose -2*x - 5 = k, -2*k - 5*x = -5 + 19. Is k <= g?
False
Let n be -2*(-18 - -17)/((-4)/254). Is -631/5 <= n?
False
Suppose -5*t = u - 47, u - 3*t - 235 = -4*u. Suppose 6*i - 79 = u. Is i bigger than 23?
False
Suppose 46*o + 901 = 45*o. Is -900 greater than or equal to o?
True
Let s = -0.0768 - -0.2768. Is 161/6 < s?
False
Suppose 0 = 3*n - 3*y - 9, 21 - 14 = -3*n - y. Which is smaller: n or 4/97?
n
Let u = 12.6 - -2.4. Let y = -208.4 - -208.6. Which is smaller: u or y?
y
Let i(x) = -27*x - 241. Let q be i(-9). Is q smaller than 23/8?
True
Let p = 149476859/7396160 + -32035/1594. Let c = p + -3/320. Suppose 0 = -4*z + 5*u + 4, -z + 0*u = 3*u - 1. Which is bigger: c or z?
z
Suppose 2*r - 10 = -4. Let n = 286/3 - 92. Which is smaller: r or n?
r
Let f = -35466 - -32061261/904. Which is bigger: 0 or f?
0
Suppose -4*c + 109 = 1. Let n be c/9 - (-14)/(-6). Suppose 4*u + u = -3*o + 22, -2 = u - o. Which is bigger: u or n?
u
Let o be (-1*2/5)/(272/(-40)). Suppose -14*r + 4 = -18*r. Is r equal to o?
False
Let k = -35 - -34. Let p = 0 - 2. Let r be (15/(-325))/(p/10). Do k and r have different values?
True
Let g = -6 + 4. Let o(i) be the first derivative of i**4/4 + 2*i**3/3 + i**2/2 + 4*i - 22. Let q be o(g). Do 3 and q have the same value?
False
Let n = 0.132 + -0.232. Let c = -1 - 16. Is c at least as big as n?
False
Let p(a) = -2*a**2 - 48*a + 72. Let f be p(-27). Are f and -2 equal?
False
Suppose 0 = 4*u + 5*u - 36. Let r be 0 - 14/u - (-17)/34. Which is smaller: 7 or r?
r
Suppose -1 = -5*r + 24. Let m be (-2)/r - 4/(-10). Let i = 715/368 - 29/16. Is m less than or equal to i?
True
Let g(y) = -2*y + 1. Let x(k) = -k + 1. Let c(a) = -g(a) + 3*x(a). Let b be c(-4). Suppose -3*q + 2 = -13. Which is bigger: b or q?
b
Let l(g) be the first derivative of -2*g**3 + 1. Let o be l(-1). Let n(v) = -v**3 + 8*v**2 - 4*v - 26. Let a be n(7). Which is smaller: a or o?
o
Let s(v) = v**2 + 6. Let d be s(0). Suppose -p + 0*p + d = 3*c, -2*p = -6. Let x = -2/341 - 327/2387. Which is greater: c or x?
c
Let m be 4/14 - (-20)/(-42)*240. Let w be ((-2)/5)/(6 + m/15). Is -1/32 < w?
True
Let j = -218 + 224. Which is bigger: j or 0.37?
j
Let t(i) = -12 + 32*i**2 + 2*i - 18*i**2 - 15*i**2. Let s be t(7). Which is greater: s or -48?
s
Let c = 33.74 + -34. Suppose 0 = -4*w + 2*a + 3*a + 14, 0 = a + 2. Is w bigger than c?
True
Suppose -9 = 12*d - 11*d. Let t be 4/(-10) + (-1022)/120. Let l = d - t. Do 0 and l have different values?
True
Let y = 23 - 91/4. Let a = 1/4 + y. Is 2 < a?
False
Suppose -81 = -4*u + h, 4*u - 84 = 2*h + 2*h. Suppose 15 = -5*q + u. Let t be (-2)/(2/(-1)*q). Which is smaller: 3/22 or t?
3/22
Let b = -0.2888 - -0.1288. Does b = 0.8?
False
Let f = -311 - -295. Which is bigger: f or 0?
0
Let u be 9/54 + 106/12. Let h be -2*(u - 5)*2/(-34). Is -1 less than or equal to h?
True
Suppose -m = -0*m + 2. Let s be (-220)/242 - (31/(-11) + 3). Is s smaller than m?
False
Let b = 21 - 54. Is b >= -33?
True
Suppose 24 = -7*m + 38. Is m > 17/5?
False
Suppose 6*b + 4*b = 0. Is 4/57 > b?
True
Let f be (0 - 120/116 - 2) + 3. Which is smaller: 0 or f?
f
Suppose 6*q - 76 = -70. Let x = -7 + 2. Let p be 1/x - (-17)/35. Which is greater: p or q?
q
Let g be 2*(15/(-80))/(12/8). Let h = -25 + 21.2. Let c = -1.2 + h. Which is smaller: c or 