er: w or a?
w
Let s(v) = 8*v**2 + 77. Let u be s(0). Suppose 5*o - u = -r + 21, 2*r = -4. Does 10 = o?
False
Let h(a) = a**3 + 2*a**2 + a - 1. Let y be h(-2). Suppose 0 = 8710*q - 8670*q + 160. Which is greater: y or q?
y
Suppose 7*a + 32 = -52. Let l be 2624/24*(-27)/a. Does 245 = l?
False
Suppose 2*c + 20 = 5*u, -4*c - 454*u - 152 = -450*u. Which is bigger: c or 139?
139
Let n = 76656 - 127708909/1666. Which is bigger: -1 or n?
n
Let f be 12319/35 - -3*10/(-6). Let j = -347 + f. Are j and -0.2 non-equal?
True
Let w = -5.3567 - 1.6433. Which is smaller: -120 or w?
-120
Let p = 7841/2686 + -140/79. Is p bigger than 1?
True
Let i = -20 - 119. Let s = -143.703 + 4.903. Let a = i - s. Is a > 16?
False
Let z(l) = 2 + 7*l - 9 + 4*l + 0*l. Let k be z(4). Let g = k - 19. Is 19 less than g?
False
Let g be (-8)/(-36) + -344*3/27. Let m = 38 + g. Suppose -2*k = 4*u + 14, -4*u - 4*k - 19 + 3 = m. Is -1 > u?
True
Let a = -520 + 520.1. Let k be (-2)/8 + (-110)/8. Let h = 29 + k. Is h >= a?
True
Suppose -7*u = -15 - 489. Suppose -2*s + 64 + u = 0. Which is bigger: 66 or s?
s
Let b = -444901/101 + 4405. Let h = b + -521/404. Is -1 at most h?
False
Suppose 2*k + 140 = 22*k. Suppose -l + 8 - 1 = 2*s, -3*s = -2*l - k. Is 3/101 >= l?
False
Suppose 5*l + v = -5730, 5292 = -5*l + 3*v - 418. Is 2 less than l?
False
Suppose 3*z + 8*c - 3*c + 98 = 0, 0 = z + 2*c + 31. Let n = z + 29. Let v be (-4)/(-8) - 8/n. Is v less than 1?
False
Let t(g) = 289*g - 1446. Let u be t(5). Which is smaller: u or 1/13380?
u
Let d = -7 - -4. Let p be ((-723)/1928)/(9/(-15)). Which is bigger: d or p?
p
Let k = -790 - -101. Let t = 669 + k. Suppose 3*m - 21 + 84 = 0. Is m >= t?
False
Let n(a) = -a**3 + 60*a**2 + 100*a + 555. Let z be n(61). Is 2934 at least as big as z?
True
Let y = 1150918/45 + -25576. Suppose -3 = 2*q - 23. Let d be (2/20)/((-4)/q). Which is bigger: y or d?
y
Suppose 32 + 128 = 4*i. Let n = -261 - -286. Let q = n - i. Are q and -16 unequal?
True
Let y(n) = -7*n**3 + 31*n**2 + 6*n + 574. Let f be y(16). Which is greater: -20067 or f?
f
Suppose -857*q - 1716 = -863*q. Let w = 210 - q. Which is greater: -79 or w?
w
Let i = 2/7 - -13/28. Let k = -9 + -12. Let c be (24/(-42))/(6/k). Which is bigger: c or i?
c
Suppose -9342*c - 132 = -9298*c. Do c and 1.77 have different values?
True
Let w be (810/(-70) + 11)/6. Let q = 1.6 - 0.9. Let u = q - 0.9. Is w at least u?
True
Suppose -6*o - 3 + 15 = 0. Let w be (o/(-3))/(4/120). Is -23 equal to w?
False
Let i be 16/6*((2 - (-22024)/(-3616)) + 5). Which is smaller: i or 1?
1
Let w = -130.569 - -130. Let f = -0.59 - w. Let d = -0.279 + f. Is 1 at most d?
False
Let l be ((-6)/(-9))/((-9)/(-1755)). Suppose 0 = l*u - 112*u - 36. Which is smaller: u or 40/23?
40/23
Let s be (-1523)/((-74)/(-36) - 2). Let o be 2 + -1 + 1 + s/30. Let w = -917 - o. Is w equal to -4?
False
Let f = 519.5 + -522.5. Is f >= 263?
False
Let c = 82 - -81. Suppose -m + c = 4*m + v, -m = -4*v - 20. Suppose -5*h - 30 = -195. Are h and m unequal?
True
Let b be (-494)/(-10) + 4/40*-4. Suppose b*t - 47*t = 6. Suppose r - t = 2*w, 4*r - 2*r - 7 = 5*w. Which is greater: 6 or r?
6
Let o = 221 + -174. Is 43 at least o?
False
Suppose 2*o - 2*h = 34, o - 4*h - 23 = -0*h. Suppose 5*n - o = 6*n. Let x be (n/15)/((-1)/(0 + -1)). Is 1/10 less than x?
False
Let r(w) = -2*w**3 + 3*w**2 + 19*w + 1. Let t be r(-13). Let m be (-9296)/t + 2 + 0. Are 1 and m non-equal?
True
Let a = -62054/5 + 12305. Let u = 106 + a. Which is smaller: u or 5/4?
u
Suppose 6*h - 3*m - 22455 = 4*h, 0 = -5*h + 4*m + 56120. Let x = -4948022/441 + h. Is -1 less than x?
True
Suppose -6*f - 46 = -100. Suppose 5*a - 3*d = -1220, -4*d = a - f*d + 266. Is -243 > a?
False
Let r be (72927/(-185))/((-6)/10). Which is greater: -0.1 or r?
r
Suppose 0 = -11*s - 168 + 443. Let n = -7 + 21. Let k = s - n. Is k less than or equal to 5?
False
Suppose d - 67 - 11 = -5*a, 3*a = -5*d + 60. Suppose t - 6 = 4*h - 6*h, -2*t + a = h. Let z be ((-133)/(-20) - 6)*t/(-2). Is -1 not equal to z?
True
Suppose 0 = -0*t - 5*t + f + 1, 5*t = 3*f - 7. Let i be -4 - (-84)/37*(-112)/(-64). Which is smaller: i or t?
i
Let s = 671 + -1460. Let j = s + 791. Which is bigger: -1/27 or j?
j
Let t = 7.54 + 0.46. Let s = t + -8.22. Let k = s + 0.32. Which is smaller: k or 24?
k
Let w = -1124 - 3966. Is -5090 bigger than w?
False
Suppose -26*j = -29*j + 3. Let h be 3*j/30*10/(-4). Which is smaller: h or 20?
h
Let c = -6 + 6. Suppose c = -5*r + r - 96. Let u = 16677 + -16702. Is u not equal to r?
True
Let l = 19631 - 13683. Which is greater: 5947 or l?
l
Let b be (-1 + 3)/(-1)*((-2)/(-4) - 0). Is b at most as big as -1/16153?
True
Let s be 1 - (1 - 53)/1. Suppose 5*x - i - 359 = -74, -2*i - 228 = -4*x. Which is greater: x or s?
x
Let f = 19.8 - -1.91. Let t = -1.71 + f. Is t bigger than 2?
True
Let y be (5 + -1)*154/(-8). Let t = -13479 - -13478.9. Is t smaller than y?
False
Let j(w) = 106*w**2 + 9*w - 15. Let n(x) = -208*x**2 - 18*x + 30. Let c(i) = 5*j(i) + 3*n(i). Let b be c(2). Does -379 = b?
True
Let l(g) = g**3 + 40*g**2 + 386*g + 48. Let f be l(-24). Let r be ((-2)/272)/((-1)/173129). Let m = 1273 - r. Are f and m nonequal?
True
Suppose -2*o + 5 = -2*l - 21, o - 4*l - 19 = 0. Suppose 9*t = o*t. Suppose t = 7*r + 64 + 265. Is -47 >= r?
True
Let b = 7400 + -7771. Which is smaller: b or -374?
-374
Let r = 383 + -382. Suppose 2*f + 7 + 9 = 2*y, 8 = 3*f + 5*y. Let m be (-8)/(-498)*(-6)/f. Is r > m?
True
Suppose -4*v = 4*f + 3878808, -2909109 = 3*v + 3*f + f. Let z be 4*2/(-4) - v/413511. Let n = -1/4753 + z. Which is greater: n or -1?
n
Let r(z) = -z**2 + 6*z. Let i be r(6). Suppose -3*t - 2*o - 731 = 0, -4*o - 1221 = -2*t + 7*t. Let f = t + 203. Which is smaller: i or f?
f
Suppose 6*i = 108*i + 75*i + 8673. Let j(g) = -g**3 - 8*g**2 - 6*g - 2. Let s be j(-6). Which is smaller: s or i?
i
Let f(l) = l**3 - 8*l**2 + 12*l + 5. Let g be f(6). Suppose -s - 11 = -2*s + 3*z, -g*z - 20 = 0. Is s smaller than 2/33?
True
Suppose 0 = 3*d + 2*d - 270. Suppose -11*y - 10 = -d. Suppose -8*z - y*z - 60 = 0. Which is greater: -3 or z?
-3
Let z(a) = 29*a + 5. Let c be (2 - 4)/(((-96)/18)/(-8)). Let p be z(c). Let y = 159 + p. Do 76 and y have the same value?
False
Let m = -63 - -37. Let h = -153800 + 153795. Is h <= m?
False
Suppose 6*v = f + 5*v - 5, 5*f = -2*v + 11. Let b be f*1 + 4 + (-32)/4. Let u(z) = -z - 4. Let o be u(4). Which is smaller: b or o?
o
Let c be 7*1 - (200 + -2 + -18). Suppose -5*p - 458 = 412. Is p at least as big as c?
False
Let a(h) = h**3 - 21*h**2 + 40*h - 152. Let d be a(18). Is -406 greater than d?
False
Let d = 134 + 143. Let l be (-11)/11 + (-1700)/(-6). Let n = d - l. Which is smaller: -5 or n?
n
Let m(j) = -30*j + 10 + 4 - 1 - 2. Let d be m(-8). Let a = -4517/18 + d. Which is smaller: a or -1?
-1
Let y(n) = n**3 - 20*n**2 + 43*n + 8. Let j be y(7). Is j > -328?
False
Let m = 5267 - 3369. Is 9492/5 at most as big as m?
False
Suppose -67 = -s - 3*m - 192, -451 = 4*s + 5*m. Is s less than or equal to -106?
False
Let w = -24 - -42. Let z be (8/1550)/(w/15). Which is greater: z or 0?
z
Let u be ((1 - 4) + 9)*-130. Is -780 less than u?
False
Let h = -307/59 - -94343/17995. Is 1 equal to h?
False
Let i = 951968 - 1019557883/1071. Let n = 3/17 + i. Suppose -82*g = -18*g - 59 - 5. Is n at most g?
True
Let r = 4825/4 - 3617/3. Which is bigger: 112 or r?
112
Let d = -1111.39528 + 0.39528. Do 2/7 and d have the same value?
False
Suppose 4*q = z - 95, q - 2*z + 3*z + 20 = 0. Let j = 47 + q. Suppose -5*t - 160 = -3*s, 4*s + 43 = -3*t - j. Is -30 not equal to t?
True
Let t be 7/90 + (-3)/(-15). Suppose -16*s = -3460 - 3884. Let p = -458 + s. Which is greater: t or p?
p
Let m(i) = 18*i**3 - 2*i**2 - 10*i - 24. Let v be m(-3). Let h = v + 1544/3. Is 18 >= h?
True
Let x = 3086 + -3067. Which is smaller: 215/12 or x?
215/12
Let t be (-103 + 4/8*0)/1. Are -14/3 and t equal?
False
Let i(f) = f**2 - 247*f + 2147. Let w be i(9). Is w at least as big as 38/9?
True
Suppose n = 1, -n = -2*p + n. Let o be (p/37)/(3/3). Let c be 1/((-9)/6 + 1)*(-299)/(-598). Which is bigger: o or c?
o
Let z(d) = d**2 + 36*d + 274. Let i be z(-25). Which is smaller: -27/25 or i?
-27/25
Let i = 0.2 + -0.2. Let k = -17102312104/32321692865 - 2/59966035. Let j = k - 4/245. Is i sma