2
Let u = 0.061 + 11.939. Is u > 0.5?
True
Let q = -15811/34 - -465. Which is smaller: 1 or q?
q
Let w be (1460/30)/(2/(-39)). Which is smaller: -948 or w?
w
Let v(m) = m**2 + 3*m + 3. Let u = 18 + -21. Let i be v(u). Is 3 at least i?
True
Let x be (-12)/(-18)*(-228)/(-8). Is x not equal to 19?
False
Let r = -3 - -4. Suppose 8*w - 3*w = 30. Let a be 10/(w/3) - 2. Which is greater: a or r?
a
Suppose -2*o + 5*b - 10 = 0, o - 17 = -3*b - 0*b. Suppose -20 = -5*h, -4*u + 0*h = -2*h - 8. Is u < o?
True
Let q = 4.0241 + -0.0241. Which is smaller: -22 or q?
-22
Let j(n) = -n**3 + 3*n**2. Let b be j(3). Let w be 51/(-108) + (-18)/(-81). Does b = w?
False
Let p be (2/20)/((-8)/(-32)*3). Which is greater: -194 or p?
p
Let o = -48 + 70. Suppose 1 = 5*u + 2*z - 14, 2*u + 4*z = o. Which is smaller: -6/13 or u?
-6/13
Let a = -0.923 - 0.077. Which is bigger: 131 or a?
131
Suppose 0 = 2*v - 2, 3*v + 119 - 172 = 5*l. Which is smaller: 17 or l?
l
Suppose 0 = -h + 2*x + 207, -2*h + 5*x + 201 = -h. Do 211 and h have different values?
False
Let v be 44/12 + (-2)/3. Let b be (-1)/v*(1 - -4). Which is smaller: -1 or b?
b
Let a(f) = f + 4. Let m be a(3). Suppose 2*s = 23 - m. Let j be 0/((1 - 9)/4). Which is bigger: s or j?
s
Let g = -9/35 + -559/140. Let q = -3 + 0. Which is bigger: q or g?
q
Let k(m) = -12*m - 23. Let f be k(-2). Which is greater: f or -21/4?
f
Suppose k + 5*d = -23, 2*k + 2*d - 8 = -14. Are 9/16 and k equal?
False
Let l = 0 - -1. Let i be ((-275)/(-35) + -4)/(2 - l). Is i greater than 4?
False
Let c = -2215598 + 95283139/43. Let w = c - 289. Which is bigger: -1 or w?
w
Let j = 2 - 3. Let i = 662 + -662.14. Which is smaller: j or i?
j
Let u = 18721/135 + -56/27. Let p = -137 + u. Do p and -0.04 have the same value?
False
Let k = -22 + 40. Let a(h) = h**2 + 13*h - 10. Let b be a(-15). Is k < b?
True
Let n be 10/(-12) + (-21)/(-42). Is 0.6 equal to n?
False
Suppose s + s = 32. Suppose y - 4 = 2*i, -3*y - 5*i + 18 = -s. Let j(r) = 4*r**2 + 3*r - 1. Let k be j(1). Is k less than or equal to y?
True
Let c = -2551 - -2633. Which is bigger: c or 15?
c
Suppose -2*k = -3*o + 101, 4*k - 11*o = -12*o - 237. Is -54 greater than or equal to k?
True
Let v(p) = -2*p - 3. Let y be v(-4). Suppose -2 = -y*b + 2*w, w - 12 = 4*b - 8*b. Suppose -c = 4*r - 7*r + b, c = r - 2. Which is greater: c or -13/4?
c
Let w be 6 - 13 - (2 - 1). Let i be (-6)/w*12 + -3. Let g = -7 - -13. Is g <= i?
True
Suppose -2*l - 3*l = 0. Let k(p) = -p**2 + 9*p - 13. Let u be k(7). Is u less than l?
False
Let z be (-12 + 5)*24/(-7). Let l = -29 + z. Which is smaller: -1/4 or l?
l
Let v = -47742/55 - -868. Suppose 4*z - 102 = -2*z. Suppose 3*q = z - 17. Which is smaller: q or v?
v
Let c = -17 + -9. Is c > -26?
False
Suppose 3*a = -2*z - 25, 5*z = -a + 6*a. Suppose 2*s + 2*s + 4*p + 8 = 0, -3*p + 22 = -4*s. Which is smaller: a or s?
a
Let n = 57 + -27. Let u = -26 + n. Is 3 not equal to u?
True
Let o be 10 + -2 - -1 - -4. Let d be (0 + -1)/(o/(-26)). Let k be (20/d)/(1/(-1)). Which is greater: k or -11?
k
Suppose 5*c = -46 - 24. Let g(r) = -3*r + 14. Let l be g(9). Which is smaller: l or c?
c
Let f be (-1740)/(-24) - (-3)/2. Suppose 5*c = -3*u - f, -7*c - 119 = 5*u - 3*c. Are -23 and u equal?
True
Let v be (-2*1/12 + 0)*-4. Let r = -3 - -2. Let o = v + r. Which is greater: o or 10?
10
Let r be 3*1*(-4)/(-6). Let z be ((-14)/9 + r)*1. Is z != 1?
True
Suppose 6*v - 2*v - 5*o = -15, 0 = 2*v + 5*o + 15. Let m = 0 + 3. Suppose -q - 2 = m. Is q at least as big as v?
True
Suppose 3*g - 5*m = 36, -5*g + 4 = -m - 56. Let l(j) = 3 - 12*j - 2 - j**2 + 14*j**2 - j**3. Let v be l(g). Is 1 greater than v?
False
Let s be (-3)/10*(-11710)/(-30). Let b = s + 117. Is b > -3?
True
Let g(l) = 4*l - 19. Let t be g(-10). Let u = -52 - t. Which is smaller: 8 or u?
u
Let i(s) = 4*s - 1. Let a be i(5). Let u be 0/3 + a/6. Let c = 2 - u. Are -1 and c non-equal?
True
Let p = -112 - -181. Suppose -74*x = -p*x - 35. Which is greater: x or 1?
x
Let t(v) = 2*v**2 - 16*v - 7. Let a(k) = k**2 - 8*k - 4. Let d(z) = -5*a(z) + 2*t(z). Let j be d(9). Suppose 0*n - n = 0. Are n and j unequal?
True
Let n = -4 - -10. Let m = -0.028 - 6.372. Let p = m + n. Is -3 at least as big as p?
False
Let m = 21 - 20. Let l = m + -4. Let a be l - (3 + 37/(-6)). Does a = 0?
False
Let o = 15 + -12. Suppose 0 = 5*p + 5*k, -o*p - 3*k = -4*p. Is -1/49 less than p?
True
Let y be -5 + 24/56 + (-540)/(-14). Do 33 and y have the same value?
False
Let c = -146 - -83. Let a be c/45*(-156)/(-14). Which is greater: -1/2 or a?
-1/2
Let p = -40 + 89. Suppose 2*x = -p + 51. Is 5/3 greater than x?
True
Let o(p) = p**3 + 4*p**2 + 5*p + 7. Suppose 0 = -u - y - 4*y - 3, u + 3*y = -3. Let z be o(u). Let w = -2824/112795 - -2/1327. Is z not equal to w?
True
Let q = 1/227 - 2277/1589. Suppose 3*x - 13 = -1. Suppose 15*y - 13*y + x = 0. Is q equal to y?
False
Let z = -7 + 8. Suppose -5*o + z = -14. Is 1 greater than o?
False
Suppose 11 = -f + 22. Let r be 838/(-11) + ((-31)/f - -3). Which is smaller: -1 or r?
r
Let q be (-1)/(2*-4)*135716/393. Is 43 > q?
False
Let z = -2431543/14710 + 1653/10. Is 0 >= z?
False
Let d = -1.5 + -5.4. Is -1/4 at most as big as d?
False
Let v be (1/(-1))/(-3 - -2). Suppose -q + 5 = -v. Suppose -2*l + 8 = 4*r, 3*r = 5*l - 0*r + q. Is l < -2/19?
False
Let g(b) = -7*b**2 + 44*b - 4. Let n be g(6). Is 1 <= n?
True
Let b be 288/(-270) - 3/(-45). Is b at most as big as 4/87?
True
Let u = 1.1 + -1. Let m = -3.6 + 3.57. Let d = -1.97 + m. Is d smaller than u?
True
Let s = 11/17 - 10/17. Suppose 5*b = 9 + 1. Let z = b - 1. Which is smaller: z or s?
s
Let m be 18/3*3/12. Let u = -0.03 - 0.07. Let h = u + 0.1. Which is greater: m or h?
m
Suppose -2*l - 10 = -4*x - x, 33 = 2*x + 5*l. Suppose 210 = x*f + f. Let d = f + -21. Which is bigger: d or 22?
22
Let l = -4113/5 - -819. Let t(b) = -b**3 - 5*b**2 + b + 1. Let u be t(-5). Are l and u unequal?
True
Let x = -17962 + 17944. Let d be -19 + 0 - (-2 - 0). Is x at least as big as d?
False
Let o(t) = t**3 - 2. Let r(h) = -h - 1. Let n(s) = -s**2 + 3*s - 3. Let c be n(3). Let d be r(c). Let u be o(d). Is u greater than 6?
False
Let d(k) = k - 2. Let n be d(2). Let q be 1 - -1*(920/(-236) - -3). Let o = q + 88/295. Is o less than or equal to n?
False
Suppose -3*h + 2 = -h. Let v = -5705/14421 - -23/57. Which is smaller: h or v?
v
Let f = 22 - -16. Suppose -3*w = -2*p - 67, f = -0*w + 2*w + 2*p. Suppose s = -2*g - 2*s + w, -2*s + 6 = 0. Is 6 != g?
False
Let n = 74 - 74.028. Let d = 0.042 - n. Let s = -0.3 - -0.2. Do d and s have different values?
True
Let k = 2335/6 - 392. Which is bigger: k or -4?
k
Let y = 2286/11 - 208. Suppose 0 = -0*m - 5*m - 40. Let j = m + 8. Do y and j have the same value?
False
Suppose -449 = 17*f - 1979. Let g be ((-2)/f)/(-1)*6. Let x be 2/(-20) + 1/2. Is x <= g?
False
Let f = -0.035 - -5.735. Let j = f + -5.62. Let n = 14 - 68/5. Do n and j have different values?
True
Let c = -99.925 - -84. Let g = c - 0.075. Is -1 at most as big as g?
False
Suppose 5*y - 769 = 536. Let k be 14/18 + 58/y. Is 32 > k?
True
Suppose 0 = 19*v + 237 - 47. Suppose -7 = 2*y + 15. Is v at most as big as y?
False
Suppose -2*c - 3*c = 0. Let z be (c - -1)/(1/22). Which is bigger: z or 23?
23
Let m = 218 + -217.9. Which is smaller: m or -68?
-68
Let o = 215 - 216. Which is smaller: o or -3/131?
o
Let f(y) be the third derivative of -5/6*y**3 + y**2 + 0 - 1/6*y**4 + 0*y - 1/60*y**5. Let b be f(-3). Which is smaller: -4/5 or b?
b
Let x(y) = y**3 - 6*y**2 + 2*y - 3. Let s be x(6). Let p(j) = 3*j - 26. Let t be p(s). Are 1/42 and t nonequal?
True
Let h = -496 - -347. Let g = h + 155. Which is greater: g or 33/5?
33/5
Let d be 35/(-87) + 16/48. Which is smaller: d or 1?
d
Suppose 0 = -2*m + 5*r - 23, -4*m + 10*r = 13*r - 19. Which is smaller: m or -1/681?
-1/681
Let b(c) = -c + 4. Let g be b(0). Suppose -g*i + 12 = -4*f, -5*f - i - 4 = -1. Let u be -1*2/(-26)*-1. Is u less than or equal to f?
False
Let h(w) = -w**2 - 57*w - 677. Let v be h(-38). Are v and 42 equal?
False
Let c = 15 - 12. Suppose -p = p - c*o + 15, -15 = 5*p - 3*o. Suppose 44 = -5*h - 3*w, 5*h + w + p*w = -38. Is -7 greater than h?
False
Let b(f) = 2*f**2 + 27*f + 17. Let a be (156/36)/((-1)/3). Let r be b(a). Is 1 <= r?
True
Let g = -477/4 + 120.