 d - -25. Are 9 and m nonequal?
True
Let p(m) = -15*m - 3. Let z be p(-2). Let d = -71 + z. Do -44 and d have the same value?
True
Let x be 12/32 + 3407/(-9128). Which is smaller: x or 0?
0
Let t(w) = 2*w**2 - 15*w + 9. Let v = 10 + -3. Let a be t(v). Is a < -0.8?
False
Suppose 0 = -t - 2*y - 99, 0 = -5*t + 4*y + y - 510. Which is bigger: 0 or t?
0
Let n = 0.06 - 0.06. Let b = -0.033 + -0.867. Let p = 0.97 + b. Which is smaller: p or n?
n
Let j = 243 - 75. Suppose 9*i - i = j. Which is greater: 19 or i?
i
Let x be 138/9*9/(-6). Let q = 22 + x. Which is bigger: 3 or q?
3
Let l be 1/(-3) - (2 - 3). Let h(g) = -4*g - 64. Let p be h(-16). Suppose p = 85*j - 80*j - 10. Which is smaller: j or l?
l
Let l be 3/6 - (218/4 + -3). Let q = -46 - l. Are 7 and q equal?
False
Let g(m) = -m**3 + 3*m**2 - m - 4. Let r be g(3). Let n = 15 + r. Let z = -5 + n. Which is greater: z or 4?
4
Let i(b) = -b**3 + 16*b**2 + 2*b - 28. Let p be i(16). Suppose p*q = 3*q - 10. Is -11 smaller than q?
True
Let s(z) = z**2 - 3*z - 1. Let m be s(4). Suppose -4*c = -2*h - 24, -20 = m*h - 2*c - 0*c. Which is bigger: -3 or h?
-3
Let d(u) = u + 7. Let b be d(-6). Let l be (b - 0)*(-5 + 4 + 0). Suppose 3*r + 0 + 12 = -3*m, 4*r = 4*m. Which is greater: l or r?
l
Let v be (-3)/2 - 207/(-18). Let w = v + -12. Is w greater than or equal to -16/5?
True
Suppose -175 = -2*n - 31. Let s = n - 51. Suppose 5 = 2*u + s. Is -8 equal to u?
True
Let i = 29.63 + -40.2. Let z = -0.57 - i. Which is smaller: 0 or z?
0
Let m(t) be the third derivative of t**5/60 + 9*t**4/8 + 13*t**3/3 - 13*t**2. Let o be m(-26). Does 8/13 = o?
False
Let u(r) = -r**2 + 15*r - 43. Let d be u(3). Is d > -4?
False
Suppose -2*t - 2 + 14 = -2*k, 0 = -5*t + k + 14. Suppose -4*a + 12 = -2*s, -3*a + 4 = -t*s - 5. Which is bigger: s or -5/11?
s
Suppose -3*n = -3, -3*f + 36 = -4*n + 1. Let t be 2/(-8) + (-159)/(-12). Is f at least as big as t?
True
Let q = 1/40 - 1/8. Which is smaller: 1/7 or q?
q
Let b = -1058 + 1040. Let l be (2 - 1)*(3 + -22). Which is smaller: b or l?
l
Suppose 2*l = 5*p, 39*p - 5*l = 42*p. Which is greater: -7/116 or p?
p
Let o be -3*(11 + -3)*6/(-12). Which is greater: o or 10?
o
Let z = 28 - 24. Suppose -z*f = 2*f - 30. Suppose 0 = 4*q - 3*g + 95, f*q + 0*g = -g - 114. Which is bigger: q or -24?
q
Let m(r) = -3*r**2 + 3*r + 3. Let g be m(5). Which is bigger: 0.1 or g?
0.1
Suppose -167*o + 8 = -165*o. Let h be (-92)/(-30)*(-10)/(-8). Which is bigger: h or o?
o
Let l(z) = 1 - z**2 + 0 + 11*z - 11*z. Suppose 0 = 2*x + 5*b - 16, x = -2*x - 3*b + 6. Let d be l(x). Is -4 != d?
True
Let d = -39 - -40. Let l be ((-6)/4)/(25/(-10) + 2). Is l smaller than d?
False
Suppose 2*a - 4*a = s - 7, 5*a - 19 = -s. Suppose 0 = -a*p - 9 + 13. Which is greater: p or -2/13?
p
Let i = -5 + 4.7. Let v = -4.3 - -17. Let l = i - v. Is l not equal to 1/3?
True
Let g = -111841/104 - -8317/8. Let x = g - -2523/52. Which is bigger: 12 or x?
x
Let k = 20 - 20. Which is smaller: 3/5 or k?
k
Let l = 6.25 + -6. Let z = l + -0.35. Is -33 > z?
False
Let c(w) = -18*w**2 + 5*w + 5. Let v be c(-2). Let f be v/91 + 4/(-26). Which is smaller: f or -5/9?
f
Let k be -3 + 401/105 - (-10)/(-35). Suppose -8*w - 2 + 10 = 0. Which is bigger: w or k?
w
Let s be ((-4)/(-16))/(1/(-2))*-2164. Are s and 1082 non-equal?
False
Let j be 1*-16*4/4. Let g be (-18 - j)*14/(-16). Which is smaller: g or 2?
g
Let r = 2.9 + -3. Let x = -0.07 + 13.67. Let z = x + -3.6. Which is greater: r or z?
z
Let w(p) = 4*p - 5 - 5*p - 3*p + 3*p. Let s be w(-8). Which is bigger: s or -0.2?
s
Let s = -10 - 3. Let y(f) = f + 45. Let l be y(s). Is 31 >= l?
False
Suppose -3*l + 60 = -8*l. Let r be ((-2)/(-4))/(l/48). Which is bigger: 1 or r?
1
Let m(t) be the second derivative of -t**4/12 - 3*t**3/2 - 5*t**2 + t. Let h(p) = p**2 + 10*p + 11. Let o(b) = 2*h(b) + 3*m(b). Let x be o(-7). Is x != -9?
True
Let d be 88/(-9)*(-3 + 45/10). Which is greater: d or 1/4?
1/4
Let p = -18 + 28. Let u be (-3 - -1)*1/p. Which is bigger: 1 or u?
1
Let g = -15 + 16. Suppose 4*y - g + 32 = -5*q, 3*y + q + 37 = 0. Let i = -10 - y. Do i and 7 have the same value?
False
Let w = 2.16 - 2.06. Let d = 10 - 9. Are w and d non-equal?
True
Suppose -4*w + 678 - 199 = -3*n, -469 = 3*n + w. Which is smaller: n or -160?
-160
Let v = -846 - -241. Let r = v - -4222/7. Let f = r + 16/35. Is f not equal to -2?
True
Suppose 342 = 4*v + 4*z - z, 0 = -5*v + 3*z + 414. Let u = v - 83. Is 2/93 equal to u?
False
Suppose b = 5*o + 163, 7*o + 4*b = 2*o - 173. Let i = o + 31. Is -6 smaller than i?
True
Let p = 511/138 - -29/46. Which is smaller: -1/5 or p?
-1/5
Suppose 2*g - 2 = -8. Let t be (3/(-8))/(6 + g). Suppose -3*i - 4*h = 13, 0*i + 5*i - 9 = h. Which is smaller: t or i?
t
Let u(v) = 73*v - 751. Let a be u(9). Is -99 equal to a?
False
Let k(p) = -p**2 - 61 - 53 - 9*p + 101. Let t be k(-7). Is t > 1?
False
Let q = -2.712 - -2.722. Which is smaller: q or 0.254?
q
Let a be (-9)/(-15)*(-2)/(24/(-20)). Let r = 11841219 - 57572007653/4862. Let m = 1/286 + r. Which is smaller: m or a?
m
Let j = 3.28 + -3.28. Which is smaller: 136 or j?
j
Let z = -10867/1428 - 13/84. Let x = z - -937/136. Is -1 greater than or equal to x?
False
Let a = -9 + 29. Suppose -25*l = -a*l - 95. Is l bigger than 20?
False
Let z = -19.1 - -0.1. Let j = z - -20.2. Let o = 1.2 - j. Which is smaller: 6 or o?
o
Suppose -4*s - 30 = 6*s. Let k be 3 - (s - (0 + -7)). Do k and 1/5 have the same value?
False
Let l = 1/45 - -1337/585. Let x = -6 + 6.1. Which is bigger: x or l?
l
Let i be 2/(-7) - 12/(-42). Suppose i = 3*f + 2*f + 60. Which is bigger: -10 or f?
-10
Let x = 46 + -38. Let w = x - 7.942. Which is smaller: -2 or w?
-2
Let y = -14 + 14.08. Let c = y - 0.18. Let n = -29 + 20. Which is smaller: c or n?
n
Suppose 0 = -4*t + b + 33, -t - 18 = b + 4*b. Let w(l) = l**3 - 7*l**2 + l - 1. Let p be w(t). Suppose -v + 1 = p. Is -5 equal to v?
True
Let t(d) = -d**3 - 4*d**2 + 3. Let w be t(-5). Suppose -13 = -z + 13. Do w and z have the same value?
False
Suppose -4*s = 3*n - 15, -5*s - 6*n + 7*n = 5. Is -1299 != s?
True
Let o be (-6894)/(-5)*(-12)/48. Let f = 345 + o. Which is smaller: 0 or f?
0
Let k = 5.47 + 0.53. Let y = 9 + -5. Let n = y + -5. Do k and n have different values?
True
Let y = -88 + 151. Is y > 63?
False
Let p = -600 + 568. Does 1/2 = p?
False
Let k(q) = 6*q + 200. Let b be k(0). Is 201 greater than or equal to b?
True
Let s be 3/(-9) + 3 + (-68)/66. Is s at most 3?
True
Let o = 141.8 - 120. Let y = o + -14.7. Which is smaller: -1 or y?
-1
Suppose -26 = z + 21. Let h be (-6)/21 - z/(-7). Let q(f) = -2*f**2 + 239*f - 127. Let m be q(119). Is m greater than or equal to h?
False
Let l be (-255)/35 + (-112)/(-49) + -2. Let v(m) = -m**2 + 3*m - 4. Let n be v(4). Let o = -14 - n. Are l and o unequal?
True
Let l be 510/45*(-3)/1. Let o = -37 - l. Is -5 smaller than o?
True
Let a be (-6)/5*(-10)/4. Suppose -2*h = a*h - 135. Let x be 2/(-3) + 5225/165 + -5. Is h at least x?
True
Let y = -68 + 66. Are -8.7 and y non-equal?
True
Suppose -4*i = -6*i - 4. Let v be 1 + 13*(-4)/16. Let o = -11/4 - v. Is i smaller than o?
True
Let t = 105235/2286 + -829/18. Which is bigger: t or 1?
1
Suppose 0*r - 38 = -2*r. Let p = r - 17. Suppose p*d = -4*c - d - 2, 3*c - 2*d = -10. Which is smaller: -7/5 or c?
c
Let k(s) = s - 102. Let o be k(11). Is o smaller than -90?
True
Let d be ((-12)/(-10))/(6/7280). Let b be 4/10 - d/65. Which is bigger: -21 or b?
-21
Suppose 13*t - 48 = 14*t. Which is smaller: -46 or t?
t
Let u(r) = -74*r - 366. Let w be u(-5). Let k be 1/((-2 + 4)/2). Suppose 10 = 3*x + k. Is w bigger than x?
True
Let r = -8 - -8.2. Let d = -20/259 - 2/111. Is r greater than d?
True
Let h = 0.95 + -0.05. Let m = -0.9 + h. Suppose 2*q - 5 = q. Which is bigger: m or q?
q
Let h be ((-290)/4)/((-17)/(-102)). Let p be 4 - (-610)/h*3. Which is greater: 1 or p?
1
Let x = -362 - -185. Does x = -177?
True
Let v(x) = -x - 3. Let w be v(-9). Suppose 5*g - w = -g. Suppose g = j - 2. Which is bigger: -0.1 or j?
j
Let i = 1 + -3. Let d(x) = -x**3 - 3*x**2 + 34*x + 22. Let s be d(5). Which is smaller: s or i?
s
Let f be -30 + 28 - (-45 + 1). Which is smaller: f or 33?
33
Let j = 3217 + -3216. Let i = 0.001 - -0.419. Which is greater: i or j?
j
Let m = -114 + 108. Suppose 0*r + 2