
m
Let s be (315/(-135))/(3/(567/(-15))). Which is bigger: s or 30?
30
Let o(f) = -2*f**2 - 68*f + 5. Let j be o(-31). Do 189 and j have the same value?
False
Let q be ((3/9)/(-1))/((-17)/(-51)). Does -6/19 = q?
False
Let x(l) = -94*l - 37. Let m be x(-1). Is 58 <= m?
False
Let x = 924 + -1133. Are x and -208 equal?
False
Let q be (-30)/(-2)*2071/763. Are 41 and q nonequal?
True
Suppose 0 = 2*s - 2*z, 41*s - 8 = 42*s + 3*z. Which is greater: -132 or s?
s
Let z = -140 + 80. Let a = z - -59.2. Which is smaller: a or 3?
a
Suppose 0 = b - 0*b - 2*s - 1, 2 = -2*s. Let f be b/(-7) - (-2)/(-63). Let i(o) = o - 8. Let d be i(8). Are d and f non-equal?
True
Let g = 3 - -0.9. Let r = 0.1 + g. Let f = r - 2. Is 0.04 != f?
True
Let r = -2/781 - -21097/3905. Let w = 23 + -18. Is r at least as big as w?
True
Suppose -3*s - 29 = 5*v + 47, 0 = 2*v - 2*s + 24. Let l = 34 + v. Which is bigger: -0.1 or l?
l
Let c be (-6)/14 + 15/35. Suppose c = -2*h + 3*h - 3. Suppose -5*v = 4*a - 13, 4*v - 6 = -h*a + 4. Which is smaller: -1 or v?
-1
Let n = 10 + 0. Suppose -u + 2*p - n = -0*u, -u + 3*p = 15. Suppose a - g - 13 = -3, -2*g + 4 = u. Are 12 and a non-equal?
False
Let b be ((-12)/3 - -3) + -10. Let l = -9 - b. Which is smaller: l or 4?
l
Let j be (-1)/((24/1736)/3). Which is greater: -215 or j?
-215
Let p(a) = -a**2 + 4*a - 8. Let w(y) = 5*y - 15. Let h be w(4). Let z be p(h). Let n = -1 - z. Do 11 and n have the same value?
False
Let t = 1671 - 1633. Which is smaller: t or 20?
20
Let k be (0 + 1)/((-2)/(-22)). Let p(d) = -d**2 - 4 - k*d + d + 0*d**2 + 14. Let u be p(-11). Is 2/21 greater than u?
True
Let v be (-34)/(-18) + (-5)/(-45). Suppose v*c + 8 = c. Are -5 and c non-equal?
True
Let p = 0.21 + 0.32. Let c = p + -0.59. Suppose 0*b - 3 = -3*b. Is b at most as big as c?
False
Let g be (-66)/(-8) - 12/(-16). Let o be (21/13)/(g/6). Let i = o - 12/13. Which is greater: i or 1?
1
Let p be (5/30*-3)/(3/1101). Which is greater: -185 or p?
p
Let y = -23/279 + -4/279. Which is smaller: 0 or y?
y
Let u(t) = -8*t. Let x be u(13). Let l = x - -3434/33. Which is greater: l or -1?
l
Let k be (-42)/343*(-8 - -15). Is k bigger than -29?
True
Let i be (-7)/(-7)*(-7)/(-1). Suppose -i*q = -10*q - 3. Let t = 7 - 11. Which is smaller: q or t?
t
Let u = -12 - -22. Let h be (624/72)/((-2)/(-3)). Which is smaller: h or u?
u
Let u be -3 + 4 + (-52)/(-44). Let x(c) = -c**3 - 9*c**2 + 12*c + 22. Let l be x(-10). Which is greater: l or u?
u
Let a = 0.0453 - -0.9547. Let p = 4 - 6. Let z be (0 + p)/1 - -2. Are a and z non-equal?
True
Let s(b) = b**2 + 32*b - 151. Let c be s(7). Is 122 <= c?
True
Let o be (-74)/40 + 0 + 2. Let u = -111 - -61. Let z = u + 50.1. Do o and z have the same value?
False
Let m be (216/(-45))/(2/(-60)). Is m less than 146?
True
Let z be (1/(-10))/((-86)/15). Let o = 233/6364 + z. Is o less than or equal to 1?
True
Let t = 975.971 - 976. Is t <= 2/5?
True
Let n = 168 + -163. Suppose -2*b - 6*z = -z + 4, -3*b = -z - 28. Suppose 2*m + 8 = -n*f + f, -3*f + b = -2*m. Are -2/15 and f non-equal?
True
Let b(i) = -5*i**3 + 2*i**2 - 1. Let m be b(-1). Let h be (-15)/m*12/(-10). Suppose 2*k - k - 3*q = 14, h*k + q = 2. Is k bigger than 3?
False
Suppose 12 = -4*f, -3*f - 74 = -4*z + 15. Suppose z*g - 3 = 17*g. Let o = 842/39 - 65/3. Which is greater: g or o?
g
Let n = 14 - -2. Let b be n/4 - (-3 + -1). Let g(a) = a**3 - 9*a**2 + 9*a - 7. Let l be g(b). Do l and 5/6 have different values?
True
Suppose -32 = -4*f - 2*i + 6*i, 0 = f + 4*i - 18. Suppose 4*h + 30 = -f. Let g be (-23)/h - (1 - -1). Is 1 < g?
False
Let c = 147 + -146.7. Which is bigger: -1.4 or c?
c
Let w(p) = 44*p - 30. Let m be w(-2). Which is smaller: -120 or m?
-120
Let p = 0.47 + 0.07. Let k = -0.06 - p. Which is bigger: k or 1/3?
1/3
Let c = 3 + -5. Let s = -218 - -214. Which is greater: s or c?
c
Let s be (4/(-6))/((-8)/(-12)). Let k be (25/(-15))/((-10)/12). Let p be 2/(-7)*k/4. Is p not equal to s?
True
Suppose 7976 = 23*z - 3708. Is 1017/2 at most as big as z?
False
Let k(i) = -83*i - 30. Let g be k(0). Which is smaller: -29 or g?
g
Let n be 10/3 - (-4)/(-12). Let g be (-448)/(-21) + (-1)/n. Let m be (g/(-98))/((-6)/(-8)). Which is greater: 0.05 or m?
0.05
Suppose 707*u = 712*u + 5. Which is greater: -7 or u?
u
Suppose 0 = -2*c + 4*f + 34 + 8, 3*c - 3*f = 63. Suppose c = 3*b - 30. Which is smaller: 16 or b?
16
Suppose -45*s + 43*s + 270 = 0. Which is greater: 133 or s?
s
Let l be ((-40)/(-2150))/((-3)/285). Which is bigger: -2 or l?
l
Let j = -34 + 37. Let b be (-29 + 4 - 0)/j. Is -8 <= b?
False
Let p be (-772)/(-22) + (-52)/572. Is 6 equal to p?
False
Let y = 330 - 274. Is 3/4 <= y?
True
Suppose 203*r + 200 = 207*r. Is r < 51?
True
Let d = 390/23 - 17. Let c be (-1 + (-1)/(-1))/3. Which is bigger: c or d?
c
Let t(a) = a**3 - 19*a**2 + 32*a + 34. Let z be t(16). Is z < -221?
True
Suppose 3*i - 7*i = 8. Let s(j) = -j**2 - 2*j - 1. Let b be s(i). Let h be (-2)/10*6/(-8). Which is smaller: h or b?
b
Suppose -56 = -0*c - 14*c. Let l be 10/20 + c/(-8). Is 0 < l?
False
Suppose 12*i + 466 = -494. Do i and -81 have the same value?
False
Let k = 130 + -130. Is 2/223 <= k?
False
Let v(u) = 2*u**2 - 5*u + 4. Let m be v(2). Suppose m*t = 5*t. Which is smaller: 2/7 or t?
t
Let d = -1350590/189 - -7146. Do 0 and d have different values?
True
Suppose -5*d + 118 = -4*d. Let p(b) = 6*b**2 - 69*b - 253. Let n be p(-4). Which is smaller: n or d?
d
Let c(x) = x**3 - x**2 - x + 4. Let a be c(0). Suppose -86 = -a*k - 66. Are 18/5 and k non-equal?
True
Let b(j) = j - 2. Let r be b(6). Suppose r = -7*n + 3*n. Is -9/14 smaller than n?
False
Let g(h) = 2*h - 2. Let u be g(-9). Let t = -7/3 + 2. Which is smaller: t or u?
u
Let f = 72 - 134. Is -61 > f?
True
Let b be (-3)/2*(-28)/3. Let o(z) = -2*z - 12. Let i(j) = -2*j**2 - 15*j - 5. Let h be i(-8). Let c be o(h). Is c bigger than b?
False
Let n = 30.3 + -24.8. Which is bigger: -2/7 or n?
n
Let o(v) = 5*v**2 - 12*v + 38. Let i be o(4). Let w = i + -74. Suppose 0 = -5*x + r - 1, x - 4*x + 2*r - 2 = 0. Which is smaller: x or w?
w
Suppose 1120 = -4*c - 3*n - 136, 4 = -n. Is -309 at least c?
True
Let c = -12 + 16. Let i = -1 + c. Let f be -4*(i - 15/4). Which is smaller: f or 1?
1
Let q be 2/(-9) - (-209)/171. Is q <= -185?
False
Let v(z) = -z**2 + 5*z + 3. Let j be v(6). Let r be (-14)/(-28) - j/(-30)*47. Is -3 > r?
True
Suppose 3*i - 635 = -5*l + 8*i, -3*l + 373 = 5*i. Let p = -133 + l. Are p and -7 equal?
True
Let n = -29.9 - 2.1. Let m = -27 - n. Is m less than -0.3?
False
Suppose -123*s + 129*s = 0. Which is smaller: 48 or s?
s
Let c(t) = t**3 + 5*t**2 - 5*t - 6. Let r be c(-6). Let l be 3/(r/44) - -4. Are l and -5 equal?
False
Let w = 4/687 - 298/24961. Is -1 at least w?
False
Suppose -6 = 2*o - 3*j - j, 0 = -4*j + 8. Let v be (-4 - -5)*(o - 0). Is v at least 3?
False
Let m = 11 - 13. Let k be (m/(-10))/((-1)/(-5)). Suppose 2*q + 8 + k = g, -5*q + 5 = 3*g. Which is smaller: 2 or q?
q
Let l(b) = b**2 - 10. Let o be l(-5). Let j = o - 16. Let v be (13/39)/(j/27). Do v and -8 have the same value?
False
Let w = 90 - 24. Do 0.2 and w have different values?
True
Let r = -20 + 19. Suppose 0 = 5*o - 8*o. Suppose o = 3*b - 5*y + 2, 0 + 4 = 2*b + 2*y. Do b and r have the same value?
False
Let p = -286 + 290. Let r be 2/6 - 2/9. Are p and r unequal?
True
Suppose -2*h = 5*p + 23, 3*p + 19 = -2*h + 6. Is -9/64 > h?
False
Let m = -157.2 - -181. Let j = -28.8 + m. Let k = -43/95 - -1/19. Which is smaller: j or k?
j
Let k(s) = -2*s - 1. Let n be k(3). Suppose -8*y = -3*y - 180. Let b = y + -43. Does n = b?
True
Suppose -20*x - 166 = -18*x. Let i = 253/3 + x. Which is smaller: i or 2?
i
Suppose -14*l - 25 - 17 = 0. Let g be -2*(l/6)/1. Let q be 77/(-435) - (-2)/10. Which is smaller: g or q?
q
Let o be (0 - 3 - -68) + 0. Is 61 less than o?
True
Let l = 0.592 + 134.308. Let i = 145 - l. Let w = i + -10. Which is greater: -5 or w?
w
Let g be 10/((-50)/(-1165)) - -3. Which is smaller: 238 or g?
g
Suppose 0 = 4*f - 16, -f = 4*c - 2*f. Let u(m) = -18*m - 13. Let a be u(-2). Let l = a - 24. Is l equal to c?
False
Let k = 1 - 3. Let j = 268 + -264. Is k > j?
False
Let b = -30 - -9. Let y = -15 - b. Let g be 612/(-48) - y/(-8). Is -13 smaller than g?
True
Suppose -21*s = 1428 + 357. Are 2 and s unequal