a - 26 - 16, 45 = -5*q - 5*a. Let t be ((-48)/(-6))/((-4)/q). Which is greater: t or g?
g
Let v = -2.64 + -1.36. Let m = 33 + -19. Let j = m + v. Which is smaller: -1 or j?
-1
Let q(s) = s - 8. Let d(h) = 3*h - 31. Let y be d(12). Let z be q(y). Which is smaller: z or -14?
-14
Let b = -88 - -168. Suppose -b = 16*n - 8*n. Is n less than -8?
True
Suppose 3*j - 7*j + 2*l = -148, -5*j + 179 = -4*l. Do j and 39 have different values?
False
Let j be (-94)/(-48) - (-6)/(-36). Let h = -3/407 - 3639/3256. Let y = h + j. Is 7 greater than or equal to y?
True
Let v = -140 + 223. Let z = -88 + v. Do z and -7 have the same value?
False
Let a(d) = -48*d. Let f be a(-1). Let o = f - 99/2. Let x = -7/4 - o. Does x = -2?
False
Let a be (24/14)/(24/(-16)). Let k(r) = r**2 - 11*r + 10. Let f be k(10). Suppose 31*b - 29*b = f. Are a and b nonequal?
True
Suppose 26*l = 28*l + 4. Let x be (-1)/(1 - l) + (-504)/(-1593). Which is greater: 0 or x?
0
Suppose 5*r = 5, -3*d + 64 = -5*r - 6. Which is smaller: 29 or d?
d
Suppose 38*s + 5 = -3*w + 33*s, 4*s = 5*w - 4. Which is smaller: w or -6/169?
-6/169
Suppose l = -2*l. Suppose -u - u - 12 = 0. Let m be (96/224)/((u/16)/1). Which is bigger: l or m?
l
Suppose -2*d - 5 - 7 = 0. Suppose r = 4*r + 12. Which is bigger: d or r?
r
Suppose 0 = -2*q + 5*p + 12, -4*q + 4*p + 14 = 2. Suppose -8 = n - q. Is n smaller than -52/9?
True
Suppose 5*q = 2*q + 12. Suppose 2*j = 3*n - 5, 3*n - 17 = -q*j - 0*n. Is 20/9 at least as big as j?
True
Suppose -2*j = j + 12, -1124 = -4*x - 4*j. Let u be 6/2 + x/(-93). Suppose 2*q = -0*q. Is q > u?
True
Let y(k) = 3*k**2 - 1. Let f be y(-1). Suppose -2*l - 2*j + 5*j = -4, f = l + 4*j. Let o = -4 - l. Which is smaller: o or -3?
o
Let d be (-3 - 308/12) + 3. Let q = -25 - d. Which is smaller: q or -9?
-9
Let d be -2006 - (8/(-64) + (-165)/24). Is -2000 greater than d?
False
Let n be (-15)/((-540)/(-316)) - -8. Let s(o) = -o**3 - 3*o**2 - 3*o - 3. Let i be s(-2). Is n < i?
False
Let g(z) = z**2 + 25*z + 46. Let f be g(-24). Which is smaller: 17 or f?
17
Let d be (6/2)/((-78)/(-164)) + 0. Is 6 at most as big as d?
True
Let o = -0.1 + 4.1. Let t = 4.1 - o. Let w be ((6 - 11) + -5)*2/4. Which is smaller: t or w?
w
Let y = 12.1 - -2.9. Let l = 15.12 - y. Let p = 0.02 - l. Is p <= 0?
True
Let j = -1.849 + -38.031. Let n = -40 - j. Is n less than 1?
True
Let v(x) = 1 + 0 + 0*x - 2*x - 4. Let c be v(-1). Which is smaller: c or 0?
c
Let l be 1/(1/11)*(-14 + -6). Let y = l - -142. Is y != -78?
False
Let w(x) = -6*x - 16. Let k be w(-10). Suppose 41*p = k*p. Which is bigger: p or -19?
p
Let c = 5.5 + 0.5. Let d = -12 - -6. Let t = c + d. Which is smaller: 8 or t?
t
Let j be (0 + 1)/((-40)/16 - -3). Let x be (8 + 1)/((-3)/j). Let o be -3*2/5*5. Is x < o?
False
Let d = -1920 + 1921. Is d bigger than 2/5151?
True
Let b = -1138 + 1141. Is b > 1/119?
True
Let x be -1 - ((3 - 5) + 2). Let k be 25/(-260)*(-1 + 0 - 3). Which is bigger: x or k?
k
Let c = 57/173 + 2/519. Let g = 512 + -5620/11. Which is greater: g or c?
g
Suppose 5*s - 12 - 8 = 0. Let i(p) = p - 3. Let m be i(s). Let n be -2 + (-4)/(12/(-7)). Do n and m have the same value?
False
Suppose -5*k + 0*q = 5*q, 0 = -4*k - q. Let r = -9196/51 - -541/3. Is r at most as big as k?
False
Suppose -103*j - 522 = -101*j. Is j equal to -260?
False
Let b = -16 - -14. Let c(d) = d**2 - 4*d + 2. Let y be c(4). Suppose -3*q = y*q. Which is smaller: b or q?
b
Let i = -25/14 - -1829/1022. Which is smaller: i or 0?
0
Let v be (1/3)/((-3)/9). Let g = -25.8 + 34. Let t = -2.2 + g. Is v < t?
True
Suppose 0 = 2*v - 4*v - 5*p - 10, 2*p + 6 = -v. Is 0.02 less than v?
False
Let c be -6 - (7 - 9) - -1*4. Is 1/10 > c?
True
Let a be (-1)/3*18/(-4155). Let x = -2928/109415 + a. Which is smaller: -1 or x?
-1
Let c = 43 + -34. Suppose -17*f + 3*i = -13*f - c, 0 = 3*f + 5*i - 43. Which is greater: 11 or f?
11
Suppose 2*w + 104 = 3*u - 24, -u - 3*w + 61 = 0. Is u not equal to 46?
False
Let q be 6/5 + (282/(-135) - -2). Suppose 0*y = -4*y. Which is greater: q or y?
q
Let k = 82/59 + -6074/295. Which is bigger: k or -18?
-18
Let l be (72/2700)/((-94)/(-10)). Which is bigger: 0 or l?
l
Suppose 0 = 4*n + 5*l - 17, -2 = -n - 2*l + 3*l. Suppose 3*v = -n*x - v - 12, 6 = -2*v. Which is greater: x or 13/9?
13/9
Suppose 56*z - 58*z + 18 = 0. Is z not equal to 5?
True
Let f = -2523/4 + 630. Is f less than 0.2?
True
Let m be (-11 - -6) + 6/1. Which is bigger: 6/59 or m?
m
Let a be (3/(-4))/(94/(-8)). Is -1 smaller than a?
True
Let m = -0.87 + -0.23. Let o = 7.1 + m. Let n = -2 + o. Is -0.1 < n?
True
Let u be 5/(-4) - 1/(-4). Let p(w) = w**3 + 24*w**2 - 27*w - 41. Let x be p(-25). Which is smaller: u or x?
u
Suppose 2*v - 11 = -5*p - 0, -3*p - 87 = -4*v. Let u be -3 + (0 - v/(-2)). Is u at least as big as 6?
True
Suppose -20 = -4*y - 4*f, 0*f - 5 = -y + 3*f. Let h be ((-21)/(-14))/((-6)/(-40)). Suppose 0 = -3*b + 5 + h. Is b smaller than y?
False
Suppose 0*z - 12 = -3*z, 5*o - 3*z - 323 = 0. Let p = 67 - o. Which is smaller: p or -3/13?
-3/13
Suppose 4*a = 1 - 29. Let q be 6/24*28 - (0 - -1). Suppose s + q = -1. Are a and s equal?
True
Let v be (-4)/3*(-45)/10. Let i be (3/2)/(v/(-48)). Let t be (-3 - -2)*i/(-4). Is t bigger than -4?
True
Let n = 32 + -30.7. Let m = 9.7 + n. Which is bigger: -0.2 or m?
m
Let t = -13 - -44. Let f = 2 - t. Let u = f + 15. Is -1 less than u?
False
Let i = -1851.8 - -1852. Suppose -2*h + 20 - 8 = a, 4*a + 4*h - 36 = 0. Let q(r) = r - 3. Let y be q(a). Which is greater: i or y?
y
Suppose 0 = 5*o - 6*o + 48. Let x = o - 30. Let w be ((-12)/x)/((-4)/(-18)). Is -7 bigger than w?
False
Suppose -14*y = 5*y. Are -2/147 and y nonequal?
True
Suppose 17*t + 0 = -0. Suppose t = 22*v - 3*v - 247. Is 12 less than or equal to v?
True
Suppose 6*j - 97 + 37 = 0. Suppose 2*o + 2 = -4*x + j, -2*o + 4 = 0. Is x greater than 2/3?
True
Suppose 0 = -5*l - x - 313, 0 = 2*l + 9*x - 6*x + 133. Let t be 1/((-1)/(-2 + 64)). Is l > t?
False
Let h be (-26)/2 - 4 - -1. Let q be (-8)/12 + h/(-15). Are -2/19 and q non-equal?
True
Let b = 3 + -2. Suppose -n + b = -2*n. Let u be 1*(-1 - (-6)/n). Is u <= -7?
True
Let l = -0.16 + -7.44. Let f = l + -0.6. Let s = 8 + f. Which is smaller: -4 or s?
-4
Let b = 295749/182 - 1625. Which is smaller: -1 or b?
-1
Let k = -53 - -63. Is k at most as big as -0.4?
False
Let k be 2*((-627)/(-18) + -3). Which is bigger: 65 or k?
65
Suppose -8 - 56 = -8*x. Let h(u) = u**2 - 5*u + 1. Let y be h(x). Which is greater: y or 24?
y
Let j = -16 - -7. Let v be ((-6)/j)/(3/18). Let t be 26/1 - (-2 + v). Which is smaller: t or 25?
t
Let c = -106 - -108. Let s be 10/6 - (-1 - -2). Is c > s?
True
Let b = -519.961 - -520. Is b equal to -2?
False
Let q be 6*4/156*-3. Let p = 5/39 + q. Suppose d - 4 = -4*a - 16, -5*a = 2*d + 15. Is d smaller than p?
False
Let n be 8/44 - (-6)/(-33). Suppose 2*k + 4*m - 6 = -n*k, 2*m = 3*k + 7. Let d be 5*(4/(-65))/k. Is 0 smaller than d?
True
Let t = 5 - 1. Suppose -t*b + 2*l - 2 = 0, 4 = 2*b + 2*l + 20. Let s be 9 + -1 + (b - 0). Which is greater: 7 or s?
7
Let h = 1518999/490 + -3100. Are 0 and h equal?
False
Suppose l + 3*l - 16 = q, 0 = 3*l - q - 11. Let z = -6.246 - -0.046. Let x = z - -6. Is l not equal to x?
True
Let r = -0.079 - 78.921. Which is greater: 2/7 or r?
2/7
Let u = -21 + 13. Let n(f) = -2*f - 5. Let q(m) = m + 2. Let o(l) = -4*n(l) - 9*q(l). Let t be o(u). Does 9 = t?
False
Let m = 2383 - 409877/172. Let d = -21057596549/2580 - -8161859. Let w = m + d. Which is greater: w or -2?
w
Let g be 23*(-5)/25 - 8/20. Let p be (-1)/(-4)*6 + g/10. Which is greater: p or 16/21?
p
Let q be (-2)/((-6 + 1)*(-4)/(-10)). Let g = 8698227/22 + -395264. Let i = 110 - g. Which is smaller: q or i?
i
Let n = -106 - -62. Which is smaller: -43 or n?
n
Let k(s) = 26*s + 447. Let o be k(-18). Which is bigger: o or -20?
-20
Suppose -m + 0 = -2. Let c be -4 + 133/(-7)*-1. Suppose 2*b - 20 = -m*s, -3*s + 8*s - c = 2*b. Is b at least 3?
True
Let s = 743 + -747. Which is smaller: s or -1/15?
s
Suppose 2*k + 23 = -5*r + 2, 3*k + 23 = r. Suppose 0*h - h = 0. Suppose h*i = i - 2. Is k greater than or equal to i?
False
Let n = 5 + -8. Let v = 25 - 21. Let j be v + (3 - 46/5). Which is bigger: j or n?
j
Let c(m) = -m**3 + 2*m**2 - 7*m. Let f be c(5). Let u = f + 101. Wh