64 or l?
-64
Let t be (62/186)/(1/57). Which is smaller: t or 81/4?
t
Suppose 21 = 5*x - 17*z + 21*z, -x = z - 5. Do x and -2/7935 have different values?
True
Let l = -17.25 + 7. Let r = 0.25 + l. Let z = 0.02 - 0.02. Is z < r?
False
Let p be (4 + -5)/((-1)/2). Suppose 0 = -4*o - 50 - 10. Let y be p + 5/(o/9). Which is greater: 2/81 or y?
2/81
Suppose -84*n - 59312 = -128*n. Is n greater than or equal to 1348?
True
Let r(f) = -5*f + 8. Let q be r(0). Let n = q + -9. Which is smaller: n or 3/31?
n
Suppose -24 = 3*o - 6*o. Is -12 > o?
False
Let y = 0.1293 + -3.1293. Which is smaller: y or -5?
-5
Let c be -4*6/(-14)*(-45024)/3264. Which is smaller: -24 or c?
-24
Let j(o) = -o**3 - o**2 + 2*o. Let n be j(-2). Suppose 2*r = -5*i + 29, -2*i + n*i + 27 = 3*r. Let d = r - 6. Which is bigger: d or 2/13?
d
Let k be ((-1904)/72 - 5) + 9. Which is bigger: -23 or k?
k
Let a(j) = j**2 - 5*j + 5. Let u be a(4). Let s be (-1)/(8/(-6)) + (-19)/(-76). Do u and s have different values?
False
Suppose 0*x = -8*x + 592. Let q be (1/(10/158))/(x/185). Which is bigger: -0.1 or q?
q
Let z = 0.178 - 0.078. Is 2/39 >= z?
False
Let q = -2 + -16. Let y = 17 + q. Are -3 and y unequal?
True
Let w be (5*(12/4)/15)/(-1). Let q be (-1)/((-1)/(w + -4 + 4)). Which is greater: q or -2/177?
-2/177
Let u = -153 - -182. Is 2 != u?
True
Let s = -447 - -537. Which is greater: s or 87?
s
Suppose w = -w. Suppose -5*z + 6*z = w. Let y = -47 + 43. Which is smaller: z or y?
y
Let p be ((-16)/40)/(2/62)*5. Which is smaller: p or -63?
-63
Let r = -102/11 - -4772/517. Let h = 1927/14 + -45134/329. Let n = h - r. Does n = 0?
False
Suppose 0 = -6*o + o + 10. Let g be 5 + 6/(-5 + o). Let t be g/(1 + 2) + 2. Which is bigger: 2 or t?
t
Let n = -1089 + 1060. Which is greater: -470/17 or n?
-470/17
Suppose 3*s - 2*s = 3, 0 = -3*n - 2*s - 72. Is n > -22?
False
Let b(p) = 8*p + 4. Let o be b(-1). Let n = 16 + -7. Let d = n - 9. Is o >= d?
False
Let w = 5801/20088 + 1/648. Is w less than -1?
False
Let i = 48 + -68. Let j = 232 - 234. Is j > i?
True
Let s = -27 - -31. Suppose -5*g - 4*l = 12, -s*g + 0*g + 4*l = 24. Let m be -4 + (-2)/(8/g). Is m at least as big as -6?
True
Let s be 552/18*3 - 0. Which is smaller: s or 91?
91
Let o = 0.3 + -1.7. Let x = -8892/7 - -1270. Which is smaller: x or o?
o
Let h(q) = 3*q - 35. Let p be 18/(-1)*4/(-6). Let d be h(p). Do -3/17 and d have the same value?
False
Let c = -18/187 - -971/374. Is c at least as big as -0.071?
True
Suppose -2*u - 35*l - 9 = -34*l, 0 = 2*l + 10. Is u less than 28?
True
Let l(d) = 3*d + 8. Let s(g) = g**2 - 3*g - 7. Let w(r) = 5*l(r) + 6*s(r). Let q be w(-2). Let v be 6/(-21)*q/(-20). Is v less than 0?
False
Let u be -2 + 10 + (4 - 113430/9465). Which is smaller: u or -1?
-1
Suppose 0 = 44*i - 135 + 531. Which is smaller: i or 11?
i
Suppose 4*a + a + 60 = 0. Suppose -2*u + 156 = -212. Let j be ((-4)/9)/(u/a). Is 0 < j?
True
Suppose -22 = p + 3*n, -9*p = -11*p - 2*n - 36. Which is smaller: p or -20?
-20
Let z = -16 - -20. Suppose 2*w - 7 = -0*u - u, -4*u = -z*w + 20. Suppose 5*a + w*c + 13 = -2, -4*a = -3*c - 19. Is a at most as big as 2?
True
Suppose 3*u = -15, 0 = 10*g - 9*g + 4*u - 13. Which is greater: g or 30?
g
Let a(b) = b - 4. Let k be a(0). Let j(y) = -y**3 - y**2 - 9. Let f be j(0). Let n = f - k. Is -4 bigger than n?
True
Let x = -269/444 - 9/148. Is 0 at least x?
True
Let h = 70 - 23. Suppose 2*m - 3*m = 3*f + 1, 3*m = f + h. Is m > 14?
False
Suppose 2*o - 4*f - 14 = 0, 0 = -0*f - 2*f - 4. Let s = 3805/6 + -634. Is o < s?
False
Let p be -23 + 27 + (-8)/2. Let r(k) = -2*k**2 + 2*k + 4. Let a be r(p). Which is greater: a or -2/35?
a
Let c = -33 - -69. Let h be 16 + -4 - (-25)/1. Which is bigger: c or h?
h
Let v = -346 - -1383/4. Which is smaller: -127 or v?
-127
Let q be 1 - ((-415)/417)/(-1). Let a = 1396/1251 - q. Let c be (-5)/4 - 180/(-80). Do a and c have the same value?
False
Let l = 4.14 + -4.74. Is l > 0.14?
False
Suppose 2*h = -7 - 41. Let x be -2 - -1 - h/36. Let d = 0 - 1. Is x smaller than d?
False
Let k = -5.75 - -5.67. Is k bigger than 33?
False
Let b be 4940386/1684592 + (-7 - -4). Let f = 1/9464 - b. Let h = 16/2403 + f. Is h at least 1?
False
Let j = 34 + -33. Let p(t) = -3 + 0 + 0 + 4 - t. Let u be p(-2). Do j and u have the same value?
False
Suppose -2*l + 3*s + 3 = 0, 0*l + 3*l - 2*s = 2. Let w be ((-6)/(-14))/(((-30)/42)/(-5)). Let d be (3/(-9))/(((-20)/w)/4). Which is bigger: d or l?
d
Suppose -14*r = -22*r. Let v be ((-3)/(-4))/((-1)/(-4)). Suppose v*j = -3*j. Is r at least as big as j?
True
Suppose -29*v = 36 + 51. Does v = -45/16?
False
Let f(q) = q**2 - q - 1. Let o(a) = 6*a**2 - a - 8. Let y(t) = 5*f(t) - o(t). Let g be y(-4). Suppose 2*h - 22 = g*j - 0*h, 3*h + 24 = -5*j. Is -7 >= j?
False
Let g be (-20)/(-3) - 1/(-3). Let b be (-9469)/(-1734) - 1/(-6). Let n = 2/51 + b. Which is smaller: g or n?
n
Suppose 0 = 6*p + 3 + 21. Let g(c) = -2*c - 8. Let s be g(p). Is s <= 2/67?
True
Let j be -3*((-786)/90 - 12/20). Is j at most as big as 42?
True
Let s = 15 - 8. Let u = -78 - -82. Is u at most s?
True
Let c(k) = 7*k + 1. Let g(r) = -8*r - 2. Let d(y) = -7*c(y) - 6*g(y). Suppose 0 = -8*a + 10*a - 6. Let n be d(a). Is n < -2/3?
False
Let v be (-3)/(1 - 60/10). Let j = -13 - -9. Which is smaller: j or v?
j
Suppose 0 = 5*q + 2*y + 1694, 35*q - 2*y = 38*q + 1014. Which is smaller: -2 or q?
q
Let k = 6/4829 + -796827/33803. Which is smaller: k or -25?
-25
Suppose 32*n = 36*n - 896. Are n and 225 unequal?
True
Suppose 0 = -2*b - 2*b - 5*l - 20, 3*b = -2*l - 15. Let v be -7 + (1 - (-10)/b). Is -10 smaller than v?
True
Let m = -558/7 + 80. Suppose -24*t + 4*t = 17*t. Which is bigger: t or m?
m
Suppose 7*d - 9*d + 6 = 0, -177 = 3*x + d. Which is smaller: x or -59?
x
Let s be 7/(-35) - 5/(-25). Which is smaller: -4/187 or s?
-4/187
Let k = -964.611 - -2.611. Which is greater: 1 or k?
1
Let w = 10 + -18. Let h = 124.9 + -117. Let s = h + w. Which is bigger: s or 3?
3
Let q be 30/(-50) - 1014/(-15). Let z = 102 - q. Are 36 and z unequal?
True
Suppose -1 = 5*i + 4*r, 0 = 5*i - 3*r + 13 - 5. Is 10/113 > i?
True
Let a = 13075115/99 + -132069. Let x = a + -34/11. Suppose -1 - 2 = -3*g. Which is smaller: x or g?
x
Suppose 0 = -3*x + 7*x. Suppose x = 7*j - 3*j - 12. Suppose -5*q + q - 3*g = 0, 0 = q + j*g - 9. Is q != 1?
True
Let q = 1075 + -1076. Do 3/458 and q have the same value?
False
Let f = 49 + -43. Let h be (-1 - (-9)/2)/(f/12). Which is smaller: h or 8?
h
Let s be ((-2)/6)/(4/(-3)). Let m = 0.052 + -6.552. Let k = -6.2 - m. Is k greater than or equal to s?
True
Let b(u) = 15*u**3 - 17*u**2 + 5*u + 16. Let m(c) = -7*c**3 + 8*c**2 - 2*c - 8. Let n(p) = -6*b(p) - 13*m(p). Let k be n(2). Is k less than 2/9?
True
Let p(i) = -2*i**2 + 25*i - 11. Let l be p(12). Which is greater: -1/103 or l?
l
Let j = -1646 - -34568/21. Which is smaller: j or -17?
-17
Let o = 18 - 10. Let j = 35 + -23. Suppose -o*a - 40 = -j*a. Which is bigger: 9 or a?
a
Suppose 5*c + 70 - 10 = 0. Let j be (2/5)/((-12)/(-900)). Suppose -3 = 3*p + j. Which is greater: c or p?
p
Let b = 7/30 + -11/40. Suppose 0 = 4*c - j + 8 - 4, -3*c = 3*j - 12. Is b > c?
False
Let z(v) = -6*v**3 - 2*v**2 - 2*v - 1. Let j be z(-2). Suppose 4*s - 2*s = 2*f - 92, -2*s = 5*f - 202. Which is smaller: j or f?
f
Let x(t) be the third derivative of -t**6/120 + t**5/10 + t**4/4 + 5*t**3/6 + 4*t**2. Let j be x(7). Which is greater: j or -4?
j
Let t be (-64)/152128*(-1 - 1). Is -1 bigger than t?
False
Let g(z) = z - 8. Let w be g(-2). Is w smaller than -98/11?
True
Let s(r) = -r**2 - 3*r + 54. Let j be s(-10). Is -15 != j?
True
Let r = -2/319 - 2534/2871. Let c(x) = -2*x**2 + 0 + 4*x + 3 + 0 + x**2. Let l be c(5). Do l and r have the same value?
False
Let c be 14/77 + (-40)/(-22). Let z = 0 + -0.2. Let r = z - -0.5. Which is smaller: c or r?
r
Let f be 2*-1 - 7/(-3). Let d = -35 + 13. Let u = 21.99 + d. Are u and f equal?
False
Suppose -2*n = -3*g + 9, g = 5*n - 12 + 2. Suppose 15 = 5*k - 0*k, g*k + 145 = 5*m. Let q = 31 - m. Is q greater than 0.2?
False
Suppose -t + 3*n - 12 = 0, 3*t - 19 = -6*n + 4*n. Let c = 37451/13 - 2879. Which is greater: c or t?
t
Let z(n) = 2*n**2 + 25*n + 9. Let w be z(-11). Let q be (-45)/130*w/(-9). Suppose -1 = 3*b + 2. Is b bigger than q?
False
Let l b