
True
Let q be ((-14)/(-4) - 7)*(-2)/(-7). Which is greater: q or -0.066?
-0.066
Let m(b) = -2*b - 12. Let l be m(-7). Suppose 3*a + 8 = 2*c, l*c - 7 = a + 5. Is 4 greater than c?
False
Let l(o) = -22*o + 61. Let f be l(5). Is -50 less than or equal to f?
True
Let l(k) = k**3 - 17*k**2 + 31*k + 2. Let j be l(15). Is j greater than 2/9?
True
Let r be (-4)/2 + 0 + 7. Suppose 28 + 2 = -r*i. Let k be ((-8)/3)/(4/i). Is 4 greater than or equal to k?
True
Let k be ((-46)/5)/((-3)/(-30)). Let b = 93 + k. Let y = 7944/19 - 418. Is y bigger than b?
False
Let h(b) = -2*b + 2. Let t be h(0). Let m be t/4 - 121/22. Is -1 less than m?
False
Let i = 1265/7 + -7093/42. Let n = i - 469/30. Suppose -a - 24 = 5*r, -3*r + 4*a + 4 = -0*a. Which is smaller: n or r?
r
Let u(w) = -w**2 - 7*w + 5. Let c be u(-7). Suppose -5*y + c + 10 = 0. Suppose -16 = -y*m + 7*m. Which is bigger: m or -1?
-1
Suppose 2*f + 15 = -2*p - p, -4*f + 4*p = 0. Is f >= 0.02?
False
Let m = 4.5 - 109.5. Let o = m - -89. Which is smaller: -0.2 or o?
o
Let w be 6 + 1/(-11)*56. Are 1/12 and w unequal?
True
Let t = 339 - 1361/4. Let i(o) be the first derivative of o**2/2 - 8*o + 2. Let z be i(6). Do t and z have different values?
True
Let g be 45/(1 - (-4)/18). Let p = g - 365/11. Is p less than 4?
True
Let q be 44/(0 + -4)*-1. Suppose 7*i + 44 = q*i. Suppose i = 2*z - 5*y, -4*y + 18 = 2*z - 2*y. Which is smaller: z or 9?
z
Let o = -46 - -44. Let y be o/7*(-10)/(-200). Is -1 at least as big as y?
False
Let s = -112 - -131. Suppose -5*l + w - 38 = -7*l, 0 = w. Is l equal to s?
True
Suppose -3*h + 2*h + 8 = 0. Let y(s) = -s**2 - 8*s - 6. Let l(n) = -n**2 - 2*n + 12. Let w be l(-5). Let c be y(w). Which is greater: h or c?
c
Let i = -506 - -117. Is -390 at least as big as i?
False
Let u(d) = -d**2 - 2*d - 5. Let p be u(0). Let k(z) = z. Let g(o) = o**2 - 6*o + 2. Let y(b) = p*k(b) + g(b). Let m be y(10). Which is bigger: m or -7?
-7
Let s = -982 + 1038. Which is greater: 3 or s?
s
Let u be 3/(-12) + (-9)/(-4). Let s be -4 - (-164)/24 - u. Suppose -5*j + 17 = f, -3*f - 6*j + j + 21 = 0. Which is greater: s or f?
f
Suppose 0 = -9*n + 4*n - 4*x + 15, -n + x = -12. Suppose -28 = 2*d - 4*q, 0 = d + n*q - 2*q - 21. Which is smaller: 0.5 or d?
d
Suppose 3*o + 22 + 65 = 0. Let r = -30 - o. Which is greater: r or 1/4?
1/4
Let q = 227.121 - 227. Let b = -0.049 - q. Which is smaller: b or 3?
b
Let v be 60/8*((-32)/10 + 3). Let q = 194 - 195. Is v equal to q?
False
Let c(n) = n**2 - 3*n - 3. Let d be c(-2). Let v be ((-48)/(-10))/((-4)/(-20)). Let r = 29 - v. Which is greater: r or d?
d
Let g = -0.14 + 0.34. Let l = -23 + 38. Suppose -l = j + 4*j. Which is smaller: j or g?
j
Let b be -2 + (92/30 - 1). Let m be 3/(-12) + (-5)/(-40)*2. Is b greater than m?
True
Suppose 2*q + 4*a = -40 + 10, 5*q - 2*a = -135. Let y = q + 17. Let x be (3 - 2) + (y - -3). Is -3 smaller than x?
False
Let o = 2 - 1. Let t be ((-33)/99)/(19/18). Which is smaller: o or t?
t
Let z = -591.21 - -557.1. Let c = z - -34. Which is greater: c or 2/7?
2/7
Let c be ((-36)/(-21) + -2)*14/(-30). Which is bigger: c or -1/10?
c
Let k(q) = -2*q - 19. Let c be k(-11). Suppose -4 = -h - h, c*r - h = -20. Suppose 2 - 16 = 2*z. Which is smaller: z or r?
z
Let p be 4/(-34) - 216/(-102). Let i = -3 - -8. Suppose i*r + 0 = 10. Is r less than p?
False
Let q = -62 - -36. Let b = q - -30. Suppose -z + 9 = -3*v, 0 = -b*v - 14 + 2. Does -2 = z?
False
Suppose -3*p - 192 = -4*h, -6*p + 67 = h - 2*p. Which is smaller: 46 or h?
46
Let a(i) = -i**2 - 2*i + 3. Let x be 36/(-90) - 13/5. Let n be a(x). Let l be ((-1)/(-7))/(n + -3). Which is greater: 0 or l?
0
Suppose 2*g + 2*p + 2*p + 12 = 0, 0 = -g + 4*p + 24. Suppose 0 = g*u + u - 55. Suppose 36 = -t + 4*t. Which is smaller: u or t?
u
Let v(k) = -16*k**2 - 5*k + 30. Let z be v(4). Are -246 and z nonequal?
False
Let u = -150 + 148. Let p = -16 + 11. Let w = p - -5.3. Which is smaller: w or u?
u
Let r(j) = -2 - 18 + 5*j + 4. Let q be r(5). Is 9 > q?
False
Let r be 18/135 + (-784)/30. Let a be (r/39)/((-2)/15). Let o be 5 - 15/a - 1. Are 4 and o nonequal?
True
Let v = -1 + 5. Let h = 3 - v. Let x = 649.01 + -642.01. Is h at least x?
False
Let c be (-6)/(-10)*(4/4)/(-1). Let p be 6/4 - 92/58. Let w = p + -81/406. Which is bigger: c or w?
w
Let v be -2*(-4 + 7) - -7. Let m be (-29)/(-30) - 3/3. Which is smaller: v or m?
m
Let b = 122 + -121.5. Is b <= 0.7?
True
Let l(h) = h**3 + h**2. Let s be l(-1). Suppose -2*o - 4 = 0, -3*o = -4*a + 2*a + 1580. Let n = a + -8651/11. Which is smaller: s or n?
s
Suppose -432 = -62*g + 65*g. Is -146 < g?
True
Let g be 7 + (-89)/51*4. Which is smaller: -0.1 or g?
-0.1
Suppose -4*f + 0*f - 4*q = 276, 5*f - 4*q + 300 = 0. Let v(b) = -b**3 - 8*b**2 + 7*b - 6. Let i be v(-8). Which is bigger: f or i?
i
Let b = 15 + -6. Let w be (6/b)/(-2)*-18. Suppose -11*q + 20 = -w*q. Which is smaller: 5 or q?
q
Let k(h) = 10*h**2 + 2. Let p be k(-1). Suppose 6*z = p*z. Let x = 1074/5 - 216. Does x = z?
False
Let a be -6*(-472)/36*3. Let m = -488 + a. Let d be (-9)/(m/80) + -2. Is 0 < d?
True
Let p = 2 + -2. Suppose 2 = -p*n - 2*n. Suppose 4*r - 6 = -w, -w + 32 = -2*r + 38. Are n and w non-equal?
True
Let h = -7.6 + 7.975. Let b = h - 0.075. Is -15 bigger than b?
False
Let z = 1.45 + -2.35. Which is bigger: z or -30?
z
Let k be (-6)/2*8/78. Suppose -2*v + 3*v = 5*t + 25, -4*v = -4*t - 20. Suppose 0*p + s = -p - 2, p - s - 2 = v. Which is smaller: p or k?
k
Let i be (34/10 - 3)/((-1)/5). Let j be (4*1)/i*(-20)/40. Which is smaller: -1/52 or j?
-1/52
Suppose 0 = -4*n + 2 + 10. Suppose -3*k = n*b - 12, 12 = 3*b - 5*b + 2*k. Which is smaller: b or -7/4?
-7/4
Let z = -79 + 81. Suppose z*o = 4*j, 2*o + 2*o = 3*j. Which is greater: o or 2/35?
2/35
Let n = -36 + 52. Suppose -24*a = -28*a + n. Let p be (-25)/(-4) - 1/4. Which is bigger: p or a?
p
Let g(t) be the third derivative of -t**5/60 + t**4/12 - t**3/2 + t**2. Suppose -c = -5*r + 2, -8*r = -9*r - 5*c - 10. Let a be g(r). Are -2 and a non-equal?
True
Let v = 883 - 883. Are v and 20 non-equal?
True
Let t(l) = 7*l - 10. Let g be t(0). Let q(j) = -j**3 - 10*j**2 - j - 10. Let h be q(g). Which is smaller: h or -18/19?
-18/19
Let p = 3 + 17. Let t = p - 22.6. Let g = -2.8 - t. Is g at most 0.5?
True
Suppose 5*t - 53 = -4*n + n, 0 = 3*t - 5*n - 25. Is t less than -2/29?
False
Suppose -1 = 2*r - 4*n - 3, -3*n - 3 = 0. Suppose -9*s + 4*s + 3*o - 116 = 0, -4*s + o = 97. Which is bigger: r or s?
r
Let a = 29 - 26. Let m be (a/(-116))/(1/8). Which is smaller: 0 or m?
m
Suppose k + 2 = -4*h, 4*k - 3*h - 8 = 8*k. Suppose 17 = 2*q - 3*w + 6, -q - 5*w - 1 = 0. Let t be (-10)/12*(5 - q). Which is bigger: k or t?
t
Let u(z) = 2*z**2 - z - 20. Let t be u(5). Let s be ((-2)/(-4))/(2/12). Suppose -2*p - 7*b - t = -2*b, s*p = -3*b - 24. Is -9/2 != p?
True
Let s be -10 - 5/(50/(-40)). Is s < -5?
True
Let a = 1445/2 - 1692099/2342. Is a equal to 1?
False
Suppose 4*x = -8, -96 = 4*u - 3*x + 34. Let j be 25/u + 1/2. Which is smaller: j or 1?
j
Let u be -12 - ((3 - -1) + -3). Let y be -2 + (-2 - 56/u). Are y and 1 non-equal?
True
Let q = 25/12 - 263/132. Let h be (-2)/(-6) + 13/(-39). Let c = -1 - h. Which is greater: q or c?
q
Let v = 0.185 + -1.857. Let x = -0.072 - v. Which is bigger: x or 0.2?
x
Let o = -4.42 - -4.22. Is o at least -34?
True
Let z(k) = k**2 + 4*k - 16. Let m be z(-7). Suppose c + m*c - 78 = 0. Let i = -9 - -20. Which is smaller: i or c?
i
Let w = -288 - -254. Is 2/7 not equal to w?
True
Suppose 0 = -l - l. Suppose l*v + 4*v = 0. Is 0 at most v?
True
Let n(t) = t**3 + 6*t**2 + 10*t - 5. Let f be n(-5). Let r be (2/(-5))/(-4*3/f). Is r not equal to 13/6?
True
Let f(t) = t + 1. Let x(k) = -14*k + 24. Let w(l) = 12*f(l) + x(l). Let b be w(18). Let c be (4/(-12))/(10/3). Which is greater: c or b?
b
Let g(b) = b**2 + 23 + 20 - b + 0*b - 8. Let r be g(0). Let x be r/(-49) + (-4)/14. Which is smaller: x or 1/13?
x
Let b = 30.1 + -30.08. Do b and -39 have the same value?
False
Let x = 25 - 74. Which is smaller: x or -50?
-50
Suppose 2*t = m + 6*t - 12, m + 2*t - 6 = 0. Are m and 5/57 unequal?
True
Suppose 6*g = -6*g + 1008. Let t be 11/(-22) - (-58)/g. Which is smaller: 1 or t?
t
Let d = -1.6 + 13.2. Let m = 12.6 - d. Let p be (-1)/(-3) - (-148)/(-372). Which is bigger: