1 or a?
-1
Let p = -12.73 + 12.103. Let j = p - -0.977. Which is smaller: 3 or j?
j
Let m(d) = 5*d. Let j be m(-3). Let n = 5108 - 5133. Which is greater: j or n?
j
Suppose 63*l - 58*l - 495 = 0. Suppose l = 4*g - 81. Is 46 equal to g?
False
Suppose -13*l + 95 + 48 = 0. Suppose -l*c + 18*c - 763 = 0. Let i = 110 - c. Which is greater: i or 2/393?
i
Suppose 0*k - 10 = -5*k - 5*p, 3*k = p - 6. Let g be ((-316)/68 - -5)*k. Let m = -7 + 8. Which is smaller: g or m?
g
Suppose -24*c = 23703 - 6567. Let f = c - -807. Is 281/3 at least f?
True
Let s(g) = -9*g + 43 - 79 - 4*g + 2*g. Let c be s(-3). Is c at least as big as 5/17?
False
Let z(u) = u + 10. Let l be z(13). Let f be (-865551)/72365*(1 + (-22)/l). Let o = f - 3/1765. Is 0 at least as big as o?
True
Let c(y) = y**2 + 11*y + 34. Let l be c(-10). Let u = -46 + l. Does -0.1 = u?
False
Let f be 1*(-7*170/(-357) + 8/(-6)). Let l(o) = o**2 + 2*o - 2. Let h(v) = -v + 1. Let b be h(4). Let x be l(b). Is x at least f?
False
Let b(l) = -l**2 - 10*l + 41. Let h be b(-13). Suppose -x + h*u = 4*x - 35, u + 5 = 0. Suppose x*t - 35 = 2*w + 3*w, -2*w - 32 = -4*t. Which is smaller: t or 8?
8
Let b = -1836.41 - -1830. Is 2/7 bigger than b?
True
Let l = 0.9082 + -0.8082. Are l and 2272 non-equal?
True
Let y(v) = -4*v**2 + 4*v + 9. Let w be y(-5). Let r be -4*3*w/18. Let u = r - 151/2. Which is smaller: -3 or u?
-3
Let o = -5/37179 + 32804281/74358. Which is bigger: o or 441?
o
Let y be (-150)/20 + 9 - (-1495)/(-1350). Which is smaller: y or 0?
0
Let k be (5 - 3)/(-114 + 24/6). Let m = k + 129/1045. Let i be 4/(-22) + 26/22. Is m < i?
True
Suppose 41 = -133*m - 92. Is m <= 9/73?
True
Let i = 4/21109 - 147815/274417. Let x = -8 + 5. Is x at most as big as i?
True
Let f be (-57)/3 - 4/4. Let r = 22 + f. Suppose 4*d = -3*o - 97, 3*o + r*d = -2*o - 185. Is -39 smaller than o?
False
Let n = 715.3 - 8.3. Let r = 706 - n. Is r bigger than -314?
True
Let j(i) = -1 + 100*i + 97*i + 100*i - 307*i. Let o be j(0). Let g = 2 + -1. Which is smaller: g or o?
o
Suppose 885*u = 881*u. Which is smaller: 107/130 or u?
u
Let j = 223 - 205. Let a be 0/((-9)/(-2)*8/j). Which is smaller: a or -13/15?
-13/15
Let d be 0 - 2233/7 - -5. Let w = d + 314. Which is bigger: w or -2/205?
w
Let b(i) = -3*i - 15. Let p be 2*(3 + (-18)/4). Let s be b(p). Let x(l) = 2*l + 4. Let c be x(s). Which is smaller: c or -13/2?
c
Let y = -1.9 - -3.5. Let v = -30.9437 - 0.0563. Let n = -31.1 - v. Is y equal to n?
False
Let h(s) = -s**3 + 61*s**2 + 257*s + 195. Let b be h(65). Let u be ((-6)/47 + 0)/4. Is b greater than or equal to u?
True
Let u = -11827 - -11677. Which is greater: u or -156?
u
Let m(o) = 4*o**2 - 49*o + 17. Let l be m(12). Suppose -j - 2*y - 7 = 0, 0 = l*y + 14 + 6. Which is smaller: j or 3/5?
3/5
Let t = -161387 - -1006570717/6237. Which is bigger: 1 or t?
1
Suppose -16 = -25*s + 9*s. Let p be 300/(-305) + -5*s/(-5). Let k be 0/(0 + (2 - 3)). Which is bigger: k or p?
p
Let g = -15 + 11. Let z(x) = -5*x - 16. Let h be z(g). Which is bigger: h or 1/12?
h
Suppose k + 8 = 3*k. Let v be (14 - 16) + 4*1. Suppose -1 = 2*y + v*j - 9, -3*y = j - k. Which is greater: 1/3 or y?
1/3
Let d = -32524 + 32508. Which is bigger: -342/23 or d?
-342/23
Suppose -389 = -2*v + 3*t, -2*v = -5*t + 4*t - 379. Suppose 19 = -6*k + v. Is 30 at least as big as k?
True
Let p(m) = -550*m + 558. Let l be p(1). Which is smaller: l or -67/9?
-67/9
Let j be (-146)/511 + (-69284)/105. Let v = j + 660. Which is greater: -19 or v?
v
Suppose 8*h + 66 = 30*h. Suppose g = -n + 19, -h*n + 19 = -2*n + 3*g. Suppose 4*j - 3 = -c, 2*c = 3*c - 3. Which is smaller: j or n?
j
Let f(s) = -s**2 - 5*s - 4. Let v be f(-3). Let r(g) = -g + 17. Let k be r(-4). Let t be (-1 - -3)*k/v. Which is smaller: 1 or t?
1
Suppose -80*q + 81*q - 8 = 0. Let z(h) = -26*h + 111. Let m be z(q). Which is smaller: 0 or m?
m
Suppose 0 = c + 4*c. Suppose 0 = 3*u + u, 4*a - 3*u + 8 = c. Let y be -4 - (-10 - (-2)/(-1)*-3). Which is bigger: y or a?
y
Let t be ((-3)/20)/((-41)/(-4)). Let d(f) = 4*f**3 + 35*f**2 - 86*f - 360. Let r be d(-10). Is t at least as big as r?
False
Let i be ((-4)/(-16))/(1 + (-25)/20). Let z = 494 + -96825/196. Is i at most as big as z?
True
Let x be 522/15 - 1/(-15)*3. Let j be (0 + 7)*(-30)/x*12. Is -71 greater than or equal to j?
True
Suppose 3*v = -5*p - 1667, 5*p + 1373 = 2*v - 299. Which is smaller: p or 21?
p
Let q = -233 + 234. Let z be ((-8)/(-1) + -10)*-2*q. Do z and 30/11 have different values?
True
Let q = 0.974 + 0.026. Let p = q + 19. Let m = p + -19. Does m = 5?
False
Let y = -647 + 2096. Which is greater: y or 1443?
y
Let s be 14176/2360 + (-2 + 0)/2 + -5. Which is smaller: s or 3/10?
s
Let x be ((-6)/12)/1 - (-104490)/36. Which is greater: x or 2900?
x
Let o = 20.3 + -59.1. Let n = -25 + -14. Let k = n - o. Do -5 and k have the same value?
False
Let i(k) = 1252*k - 3987. Let b be i(-13). Which is bigger: b or -20262?
-20262
Let z be (1*-3)/(6/(-298)). Let f = z + -106. Suppose 3*d + 4*o + f = 0, -5*d + o + 100 = -10*d. Are d and -20 unequal?
True
Let h be (-8)/(-44) + 31/11*-1627. Is -4583 less than h?
False
Let i = 13.1 + -13. Let l = 125 - 127.7. Let j = -1.7 - l. Which is smaller: i or j?
i
Let y be (-135)/90*(-998)/(-3). Let p = -414 - y. Which is bigger: p or 87?
87
Let o = 3527 + -3531. Is 16/5 smaller than o?
False
Suppose -1 = -4*v + 7. Suppose -5*t - 168 = 3*n, -v*n - 114 = -11*t + 15*t. Which is smaller: -47 or n?
n
Suppose 377094 = 16*n + 86*n. Is n smaller than 3697?
False
Let k be 2 - (-3 + -73)*1. Suppose 32*j + k = 29*j. Let x be ((j/12)/13)/(-2). Is x < 0?
False
Let i(d) = -d**3 + 5*d**2 + 7*d + 8. Let g be i(6). Let s(o) = 21*o - g - 12*o - 11*o. Let c be s(-5). Do -32/9 and c have the same value?
False
Let d = -11598 - -11598.2. Which is bigger: 453 or d?
453
Let q(y) = y - 3. Let n be q(-6). Let d = 576 + -384. Let c be d/(-56) - (-12)/28. Is c > n?
True
Suppose -2*p - 20 = 0, -34*x + 29*x - 4*p - 90 = 0. Suppose u + 2*u + 14 = 4*o, -2*u - 15 = 3*o. Let d be u/(-3) - 132/10. Is d less than x?
True
Let f = 3191 - 2440. Which is bigger: -1/4 or f?
f
Let j(f) = -6*f**2 + 37*f + 30. Let a be j(9). Which is smaller: a or -126?
-126
Let m = 338 - 341. Let f(k) = -2*k**3 - 5*k**2 - 8*k - 32. Let d be f(m). Is d <= 2/613?
False
Let c(l) = 1221*l - 7656. Let p be c(6). Which is bigger: p or -1652/5?
p
Let m = 14414 + -25463. Is -11048 bigger than m?
True
Let o = -443 - -461. Suppose 0 = o*z + 23 + 589. Which is bigger: -230/7 or z?
-230/7
Let h(p) = 2*p**3 - 25*p**2 + 15*p - 24. Let i be h(12). Suppose -b + 5*q - q = -i, -2*q = b - 6. Suppose a - b*a = -56. Is 11 at least as big as a?
True
Let l be ((-80)/(-4600))/((-9)/(-10))*(-6)/(-500). Which is smaller: l or 1?
l
Let t = 122 + -116. Suppose -10*a + t*a = 476. Let b = -116 - a. Is 9/4 not equal to b?
True
Let m = 9020 - 99222/11. Which is smaller: m or -8/263?
m
Suppose -4*y - 5 = -i - 2, -i = y - 3. Suppose -k - 47 + 70 = 0. Let q(j) = -j + 23. Let c be q(k). Do y and c have different values?
False
Let l(t) = -t**3 - 7*t**2 + 37*t + 27. Let g be l(4). Is g < -8/1091?
True
Let r(q) = -q**2 - q - 1. Let j(h) = -3*h**2 - 8*h - 8. Let a(p) = -j(p) + 2*r(p). Let t be a(-5). Which is greater: 14/11 or t?
14/11
Let i be (-297 - 28) + -6 + 1. Let p = i + 371. Which is bigger: p or 245/6?
p
Suppose 4*g - 5 = -5. Suppose 3*l + 2*v + 2 = -g, v = -3*l - 7. Let x be (l/(-30))/((-3)/9). Which is smaller: x or 3?
x
Let i be (-65)/780 - (555178/(-168))/(-13). Which is smaller: -255 or i?
-255
Let m be (-11)/15*1 + -7 + (-110)/(-15). Let n(x) = x**2 - 2*x - 3. Let c be n(3). Let t = c - 0. Which is smaller: m or t?
m
Let x be ((-85)/255)/(2/54). Let s be 2/136*(x + 19). Is s at least 0?
True
Let a be (754/(-1128) + 2/3)/((-5013)/45117). Let q(d) = d**3 + 6*d**2 + 6*d + 4. Let x be q(-5). Which is greater: a or x?
a
Suppose -w = -3*m + 1, 0*w - 4*m = -2*w. Is 706 less than w?
False
Let y = -10 - 70. Let h = -232599/2918 - 1150/1459. Which is smaller: y or h?
h
Let u(k) = k**3 - k - 24*k**2 - 5*k + 16 + 23*k**2 + 0*k**3. Let l be u(3). Which is bigger: 17 or l?
17
Let j = 196 + -23334/119. Are j and -1 non-equal?
True
Let f = 1411/42 - 211/6. Let n be (4/26 + (-408)/117)*3. Let y(i) = -i**3 - 10*i**2 - 1. Let g be y(n). Which 