+ -3)*-3. Are 14/9 and t nonequal?
True
Let n = 139 - 51. Let d be -2*138/n + 3. Is d <= 1?
True
Let j = -0.0415 - -234.0415. Which is bigger: j or -1?
j
Let m(j) = 2*j - 29. Let i be m(13). Which is bigger: -30/19 or i?
-30/19
Let z(h) = h**2 - 14*h - 3. Let f be (0/2)/3 + 0. Suppose -12*v + 4*v + 112 = f. Let l be z(v). Which is bigger: -1/7 or l?
-1/7
Suppose 0 = -0*b + b - 3. Let k(n) = -8*n**b + 2*n**2 + 7*n**3 - 11 + n + 7*n**2. Let f be k(9). Which is smaller: f or 0?
f
Suppose -y + h + 1 = -1, h = -4*y + 8. Let u be -2 - (2 + 4)*-2. Suppose u = 8*v - 6*v. Which is greater: y or v?
v
Let d = 0 + -5. Let k(i) = -4*i - 60. Let w(h) = -3*h - 40. Let x(j) = 5*k(j) - 8*w(j). Let a be x(-6). Is d at most as big as a?
True
Suppose -2*s - 5*r = -352, -4*s + 212 = 5*r - 512. Is s < 3?
False
Suppose 4*v - 4*s = -27692, 3*v - s + 20749 = -2*s. Let c be 4/(-10) + v/(-70). Let l = c + -99. Is -2 smaller than l?
True
Suppose -3*i + 116 = 95. Suppose -2*x + b + 63 = 0, -5*x = 2*b - i*b - 150. Which is greater: x or 100/3?
100/3
Let q = -197 - -195. Let p = 6.87 + 0.13. Which is greater: q or p?
p
Let f be (1 + 0 - 180/30) + 5. Is f bigger than 1/845?
False
Let m = 118 + -170. Let c = 11 + m. Let h = c - -23. Which is smaller: h or -16?
h
Let z = -11/10 - -5/6. Let j(g) = 3*g**2 - 27. Let o be j(-3). Are o and z unequal?
True
Let z = -348 + 350. Does z = -93/2?
False
Let g = 27 - 60. Let h be 6/(-5)*(-11)/g. Is -0.01 bigger than h?
True
Let u = -389 - -270. Is -1/2 > u?
True
Suppose -7*j - 2 - 250 = 0. Let u be (j/15)/(-3 + 29/10). Is u at most as big as 25?
True
Let a(q) = 3*q**2 + 2*q - 2. Suppose 4*i + 12 = 16. Let f be a(i). Let v(r) = r**2 - 4. Let m be v(-3). Is f not equal to m?
True
Let r be 30/55 + 73738/(-231). Which is smaller: -320 or r?
-320
Let y = -44 + 41. Let x(s) = -2*s**2 - 1 - 2 + s**3 + 2*s - 2*s**3. Let k be x(y). Is -4/9 greater than k?
False
Suppose 0 = f + f - 4*j, -2*f - 4*j + 32 = 0. Let q = 57193/7335 + 4/1467. Which is bigger: q or f?
f
Let w = 5 - 2. Let o = 13/4 - w. Let q be -2*-1*(-1)/4. Which is greater: q or o?
o
Suppose q - 12 = 4*q. Let x(g) be the second derivative of -g**5/20 - g**4/2 - g**3 + 4*g**2 + 29*g. Let j be x(q). Is 2/9 less than or equal to j?
False
Let c = 0.22 + -0.32. Let f = c + -0.9. Suppose 5*x + 6 = -4. Which is smaller: f or x?
x
Let a be (2/(-8))/(4/(-88)). Let i = -5 + a. Which is smaller: i or -13?
-13
Let k = -43 - -88. Let i = -44 + k. Are -1 and i nonequal?
True
Suppose r + 2*r = -27. Suppose -4*d + 3*y = -0*d - 363, -d + 95 = -5*y. Let a = 82 - d. Is r less than a?
True
Let t = 5 + -8. Let r be -123*11/429 + (-4)/(-26). Does r = t?
True
Let a = -4 + 7. Suppose -5*m + 3*m - 5*i = -571, a*m - 2*i - 828 = 0. Let j = m - 841/3. Which is bigger: -3 or j?
j
Suppose -98*a = -88*a - 420. Are 43 and a unequal?
True
Suppose 7*p - 33 = 16. Let t be 51/p - (-20)/(-70). Do 7 and t have the same value?
True
Let n = 459 + -2297/5. Let a = -41 - -63. Which is bigger: a or n?
a
Let q = -1703 - -1700. Is q > 227?
False
Let u = 9782 + -9811. Let i = 0.3 - 0.2. Which is bigger: i or u?
i
Suppose k - 1080 = 6*k. Let q be (-16)/(8/2) - k. Let d = -2967/14 + q. Which is greater: 0 or d?
d
Let m = 804 + -797.99. Let l = m - 0.01. Is -5 equal to l?
False
Suppose 3*z + 0 = 12, 0 = -5*t - 3*z + 137. Suppose -4*a = -t - 7. Suppose -3*m = 10 + a. Is -5 greater than or equal to m?
True
Let w be ((-1)/(-4))/(1/(-25)). Let t = w - -6. Which is smaller: t or 17?
t
Let j = -1371 - -1424. Is 14 less than or equal to j?
True
Let h = 61 + -41. Let m be (-8)/h - (-32)/30. Does m = -0.9?
False
Let z(l) = 2*l - 18. Let u be z(12). Which is greater: 76/13 or u?
u
Let v(w) = -w**2 + 6*w + 4. Let m be v(6). Suppose -m*q = -0*q - 2*x + 40, -q - 12 = -x. Suppose -2*t - 3*n - 33 = t, -8 = 4*t - 5*n. Which is greater: q or t?
t
Let r(c) = 4*c + 21. Let t be r(-6). Let y be ((-21)/9)/(t/108). Let s be (3/8)/(7/y). Which is smaller: s or 5?
s
Let x(v) = v**3 + 3*v**2 - 6*v - 8. Let p be (24/20)/((-12)/40). Let g be x(p). Is g < -2/145?
False
Let u be 15*2*(-1)/2. Let y(b) = -2*b - 50. Let t be y(u). Is -20 greater than or equal to t?
True
Suppose -d + 145 = -2*k - k, 2*k + 5*d + 108 = 0. Let p = 54 + k. Which is bigger: p or 17?
17
Let w be 3 + (2 - -12)*(-2)/4. Let r be (2/34)/(6 - (-22)/w). Is 0.2 >= r?
True
Suppose -5*v - 3*k + 25 = 2*k, 0 = -v + 3*k + 17. Let c be (308/v)/(-7) + 2. Let n = 10 + -14. Is n less than or equal to c?
True
Let t = 2.148 - 2.448. Which is smaller: t or -125?
-125
Suppose 20 = 4*p - 2*p. Let n = p - 11. Is n at most as big as 4/19?
True
Let p = -49.36 - -48. Let j = p + 0.36. Which is greater: 2/3 or j?
2/3
Let o = 135/2 + -67. Let b be (-10)/(-4)*(-90)/(-25). Let q = b - 7. Which is bigger: o or q?
q
Let g be -2 + 1 - (0 + -4). Let r be 7 - g - (-192)/(-51). Is r >= 1?
False
Let g(n) = 2*n - 1. Let i be g(1). Let d be (-3 + i)*10/(-4). Let b be ((-2)/(-5))/(d/(-25)). Which is bigger: -9/7 or b?
-9/7
Suppose 2*i - 58 = 5*t, -4*t = -i + t + 39. Suppose d = -v - 13, 2*v + d - i = -48. Which is greater: v or -18?
v
Let t be (-6)/51 + (-105)/119. Let c = t - -1. Which is greater: c or 16?
16
Let y = 0.47 - 0.949. Which is smaller: 0 or y?
y
Let a = -2576 + 730. Let n = a - -16684/9. Which is greater: n or -1?
n
Let y(m) = -241*m + 38. Let g be y(1). Which is smaller: g or -205?
-205
Let k = 2 - 2. Let f be (11/(-165))/((-72)/(-230)). Let x = 1/27 - f. Is x greater than or equal to k?
True
Let w = 1692 - 1773. Which is greater: w or -0.5?
-0.5
Let p be (-1044)/(-63) - 4/7. Suppose r - p = -4. Let h be (-8)/r + 32/66. Which is smaller: 0 or h?
h
Suppose 14*v - 173 + 33 = 0. Suppose 0*a = 4*f - 2*a + 14, -4*a = f - v. Which is bigger: 8 or f?
8
Let m = 33197/7 - 4767. Let r = m + 657/35. Is r less than -6?
False
Let a = -105 + 164. Suppose 0 = -2*s + a - 21. Is s greater than or equal to 20?
False
Let u(x) = x**2 - 5*x - 7. Let l be u(6). Let a be 9/(-36) + 74/8. Let s be a/15 + 24/(-15). Are s and l non-equal?
False
Let a be 6/9 + (2 - (-1)/3). Suppose -l = -3*u - 4*l + 21, u + 3*l - 11 = 0. Suppose -u + a = -2*n. Which is smaller: n or -1/6?
-1/6
Suppose 4*m + 56 = 5*m + u, 2*m - 106 = -5*u. Let i = m + -40. Let v be (2/(-12))/((-2)/i). Is -2/3 smaller than v?
True
Let x = -0.0585 + 0.1585. Is x >= 218?
False
Let i be (2*5)/((-40)/(-2280)). Does 570 = i?
True
Let q be -4*(1 + (-3)/2). Let r(i) = i + 21. Let k be r(-17). Suppose -k*f = -11*f + 14. Is q >= f?
True
Let r(s) = 3*s**2 + 18*s - 52. Let y be r(-8). Is -23 at least as big as y?
False
Let a be ((-62)/8 + 1)*8/(-3). Let v be (-20)/a*(-27)/45. Which is bigger: -1 or v?
v
Let h be 17/34*(1 - (-71)/(-4)). Is -9 <= h?
True
Let c be (6/(-8))/((-1)/4). Suppose -u = c + 1. Let w = 1/101 - 911/202. Is u at most as big as w?
False
Let s = -355/6 + 59. Let x be -1*16/((-1)/(-5) - (-72)/40). Is x bigger than s?
False
Let r be (-232)/(-22) + (0 - 20/110). Which is bigger: r or 11?
11
Let c(z) = 2*z - 2. Let y be c(-2). Suppose -7*m + 4*m - 45 = 0. Let s be 5/(m/6) + (-21)/7. Is y bigger than s?
False
Let j = 2/445 - 269/445. Let h = 65 - 67. Which is bigger: j or h?
j
Let r = 17 + -36. Let f = r + 20. Which is greater: f or 3/22?
f
Suppose 3 = -5*x + 18. Suppose -x*r = -2*r + 6. Let l be (1 + -5)*(-3)/r. Which is greater: -3 or l?
l
Let a be (0 + 1)*(-2 + 1). Let i = 58 - 52. Let p be (-1)/i*-3*-1. Is a less than p?
True
Let v = 75 - 75. Let r = v + -1. Is r at most as big as -79?
False
Let w = -4473/5 - -894. Is w at most -27?
False
Suppose -6*j = -2*j + 16, 0 = -2*i + 3*j + 12. Let s = 4 + i. Is 15/4 at least s?
False
Let v = 1327 + -323. Are -1 and v equal?
False
Suppose -v = -4*i - 20, 3*v - 3*i - 3 = 12. Let z be (-6)/(-2 + v) + 72. Let f be 5/(z/27) - 2. Do f and -2 have different values?
True
Let c(h) = 3*h**2 + 10*h + 78. Let s be c(-10). Is s < 279?
True
Let c = -9.623 - -0.023. Let b = c - -11.6. Is b > -30?
True
Suppose 11*o + 4*o - 90 = 0. Let r be 1/((-2)/(-12)) - 2. Which is greater: o or r?
o
Let x = 35/2 + -17. Let z = -39 - -48. Is x > z?
False
Let j be ((-76)/10 - (42 - 49))*155. Is j equal to -92?
False
Let z be 3240/28 - (-30)/105. Which is smaller: z or 117?
z
Let n = 166 - 169. Which is greater: -2 or n?
-2
Suppose -2*m = -3*p - 915, m + 12