 smaller: -3 or s?
-3
Let d = 11.69 + -11. Which is greater: 0 or d?
d
Let y = -47/33 - -767/33. Is y less than 23?
True
Let q = 6 - -1. Let s = q - 11. Is 2/5 less than s?
False
Let h(x) = -x**2 + 4*x + 7. Let o be h(5). Let r be 9/10*o/(-3). Let j = 7.9 + -8.9. Is r != j?
True
Let p = 1410 - 1410. Let f = 2 + -3. Let t = f + 0. Which is greater: t or p?
p
Suppose -2*x - 3*x - 4*y + 80 = 0, 5*x - y - 55 = 0. Does -5 = x?
False
Let s(o) = -o**3 - 2*o + 171 - 86 - 16*o**2 - 88. Let x be s(-16). Is x less than or equal to 29?
True
Suppose -54*d - 579 = -51*d. Which is smaller: d or -192?
d
Suppose -167*j - 121 = -121. Let i = 6/2675 - -3748/714225. Which is bigger: j or i?
i
Let i = -4.41 + -307.59. Let t = 332.1 + i. Let r = t + -20. Which is smaller: -4 or r?
-4
Let k be (58/493)/(-9 - -1). Which is smaller: k or 0?
k
Let v be 2 - 2 - (-4 - 1). Suppose z = 3*l + v, 2*z = 3*z - 2. Suppose -n + 3*x = 9 - 0, -4*n = 2*x + 8. Which is smaller: l or n?
n
Let x be 5/5 + 1726/(-1460). Let a = 1769/6424 + -17/88. Let m = a + x. Which is smaller: -1 or m?
-1
Let b(f) be the first derivative of f**3/3 - 5*f**2 + 17*f + 11. Let x be b(8). Suppose -l = 3*n - 6, 0 = -n - 3*l + 7*l + 2. Is n equal to x?
False
Let p = -3 + -9. Let k = 25 - 37. Let d = p - k. Are d and 1/12 equal?
False
Let p be 6/((-5)/((-350)/15)). Let n be (-3 - p/(-8))*33. Let y = -1549/94 + n. Which is smaller: 0 or y?
0
Let l be (-1728)/(-162)*(-27)/4. Which is greater: -75 or l?
l
Let c be 1/2*(-18 + (6 - -2)). Let u(i) = 2*i + 2. Let b be u(-3). Is c < b?
True
Let f = -95 - -95. Suppose -4*c + 3*c - 9 = f. Is -9 < c?
False
Let n be (0 + 0)*(-1)/3. Suppose -2*y - y - 21 = n. Let m(t) = -t**2 - 8*t - 10. Let h be m(y). Which is smaller: -5 or h?
-5
Let y = 1 + -1.1. Let i = 0.42 - 0.5. Let k = i - -6.08. Is y smaller than k?
True
Let r = -0.0261 - 1.7539. Is r not equal to 2?
True
Suppose 8*p + 6*p = -3668. Let t = -1041/4 - p. Is t less than or equal to 3?
True
Suppose 35*m - 10*m = -50. Suppose -5*g = 5 + 5. Let a be 7/g + 4/(-8). Is m smaller than a?
False
Let g(t) = t**3 - 5*t**2 + 3*t + 4. Let u be g(4). Which is smaller: u or 2/797?
u
Let t = 28.441 + -1.494. Let g = t - -0.053. Let p = g - 39. Is p bigger than 2?
False
Let j(k) = -2*k - 2. Let q be j(-3). Suppose i = q*i - 36. Let f = i - 13. Is f greater than -5/4?
True
Let o(i) = 49*i - 6. Let a be o(5). Is a greater than 238?
True
Let b(v) = 24*v - 23. Let t be b(1). Which is smaller: t or -4?
-4
Suppose 6*l + 10 + 260 = 0. Which is smaller: -218/5 or l?
l
Let x be 6*1 + 70/(-14). Is 0 less than or equal to x?
True
Let y(t) = 28*t - 486. Let d be y(18). Which is greater: d or 19?
19
Let d(v) = -11*v + 1. Let l be d(-1). Suppose 3*b = l, 2*t = 5*t - 3*b + 33. Let j = -22/29 + -333/58. Which is greater: t or j?
j
Let v be 2/(-162)*(9 + (-568)/64). Is 0 greater than v?
True
Suppose -3*s - 61 - 20 = 0. Is -28 not equal to s?
True
Suppose 7 - 7 = -6*b. Suppose 10*k - 68 - 2 = b. Which is greater: 22/3 or k?
22/3
Suppose -v + 5 + 12 = 0. Suppose d + v = -q, 3*d - 3*q + 43 = 2*q. Is -17 smaller than d?
True
Let h(x) = -x**2 + 4*x - 4. Let s be h(4). Let u be -15 + -3 + (-4)/s. Is 0 less than or equal to u?
False
Let v be (-2)/4*((-184)/8 + 3). Which is bigger: v or 66/7?
v
Suppose 172*y - 162*y - 180 = 0. Is 0.7 less than y?
True
Suppose -2 - 2 = -m. Suppose m*k - 12 = 0, 3*g + 4 = g - 2*k. Let u = 3 - 7. Which is bigger: u or g?
u
Let m be 430/(-8) - 310/248. Is -53 at most as big as m?
False
Suppose -52*o + 47*o = -30. Suppose -6*x - 4*q - 27 = -x, -o = 4*x - 2*q. Suppose 12 = -3*s - w + 1, 4*s + 15 = -w. Is x smaller than s?
False
Let j be (1/6)/(16/38424). Is j >= 401?
False
Suppose 0 = -4*p - 5*d - 16, -p = 5*d - 2*d + 4. Let t be ((-3)/2)/(14/p). Is -1 greater than or equal to t?
False
Let t(m) = m - 18. Let i be t(15). Let j be (-2)/i + (-11)/3. Let x be 2 - -4*j/4. Which is smaller: x or 1/10?
x
Suppose -2*h - 4*j + 140 = 0, 0 = -5*h + 8*j - 11*j + 378. Which is smaller: 384/5 or h?
384/5
Let y = -21 - -200. Is 179 greater than or equal to y?
True
Let a = 100 + -101. Which is smaller: a or -5/543?
a
Let g = -13 + 31. Let s be 6/(-4) + 23/g. Suppose 0 = -r + 3*y + 6, -3*r - 5*y + 3 = 13. Is r greater than or equal to s?
True
Let x be 6/36*4*-127. Let f = -82 - x. Which is bigger: f or 0?
f
Suppose 4*j + 256 = 4*d, 0 = -j + 7*d - 3*d - 58. Which is greater: -69 or j?
j
Suppose q - 4*t = 32, -2*t - 16 = -116*q + 117*q. Let s = -1.8 - -4. Is q smaller than s?
True
Let j = 213 - 129. Let i be ((-7)/j + 3/4)/(-2). Which is greater: i or -0.5?
i
Let t = 54 - 66. Let l = t + 25. Which is smaller: -0.1 or l?
-0.1
Suppose 0 = -1191*d + 1190*d. Which is bigger: 4/3 or d?
4/3
Let w(q) = 4 + 6*q**2 + 8*q - q**3 - 10*q + 6. Let h be w(6). Which is smaller: -7/5 or h?
h
Let q be 4 - ((-10 - 3) + -25). Is 29 < q?
True
Suppose 0 = -3*c - 2*a - 6, -9 = -c + 4*c + 3*a. Which is smaller: -2/229 or c?
-2/229
Let u be (13/((-130)/4)*5)/(-872). Is -1 at least u?
False
Let q be 34390/(-114)*(-9)/5. Which is bigger: 545 or q?
545
Let a(k) = -k**2 - 8*k + 8. Suppose -67 - 108 = -5*c. Suppose 5 = -3*q + 5*t - 2, c = -3*q - 2*t. Let g be a(q). Which is smaller: g or 2?
g
Suppose 0 = l - 2, 0 = 4*m - 2*l - 3*l - 2. Let y be 3/(1 + (1 - m)). Let u be (-354)/80 - y/(-8). Which is greater: u or -5?
u
Suppose 2*z + 4*h + 14 = 6*h, -h + 47 = -5*z. Let f be (2/z*-3)/1. Let l(g) = g**3 - 5*g**2 - 7*g + 8. Let y be l(6). Is y equal to f?
False
Let f = 292 + -278. Which is bigger: 30 or f?
30
Let r = 497 + -496. Is r > -2/979?
True
Suppose -2*m = -6*m - 5*z - 12, 0 = -4*m - 2*z. Let f = m + 3. Suppose -b - 3*c = 9, -f*b - 4*c - 14 - 9 = 0. Is b equal to -3?
True
Let m = 1 - 0.9. Does -26/5 = m?
False
Suppose 2*a - 19 = -3*s + 18, 3*s - 48 = -3*a. Is 51/5 less than a?
True
Let l = 765.06 - 765. Is l < -70?
False
Let f be ((-2)/(-320))/(1*(-1)/6). Let x = f - 61/80. Which is bigger: x or -2?
x
Let o be 1/((-633)/3153) + 5/1. Which is smaller: o or -1?
-1
Let j = 3918.9 - 3897.827. Let q = j + -0.173. Let k = -21 + q. Is k != -34?
True
Let o(q) = q**2 + 9*q + 9. Let s be o(-7). Let t be (2/s)/(-2)*-2. Which is greater: t or -3?
t
Let j be -1 - (-108)/84 - 361/1288. Do j and 1 have different values?
True
Let m = 29 - 18. Suppose -2*i + 19 = -3*h + 2, -m = -i + 2*h. Let r be ((3/9)/i)/(-1). Which is bigger: r or 1?
1
Suppose -3*s - 172 = -0*x + x, s - 4*x = -66. Let h = s + 59. Are h and -2/45 equal?
False
Let g = 0.031 - 35.031. Let u = -30 - g. Let p = -5 + 3. Do p and u have the same value?
False
Let q be (4/7)/(26/455). Is -6 <= q?
True
Let t(s) = -2*s**3 - 11*s**2 + 5*s + 9. Let q be t(-6). Let l = 18 - q. Which is bigger: 5 or l?
5
Let a = -1744 + 1744. Which is smaller: a or -463?
-463
Let g = 40 - 59. Let i = 0.26 + -19.26. Let d = g - i. Which is greater: -1 or d?
d
Let u = -12 - -14. Let r be 7/(-21) + u/4. Let t be (15/(-6))/5*-2. Which is greater: t or r?
t
Suppose -7*t + 3*b - 57 = -10*t, 5*t = 4*b + 131. Which is greater: t or 18?
t
Let v = -1.07 - -1.02. Let l = 136.95 + -140. Let c = l - v. Which is bigger: c or 0?
0
Suppose u + 2 = l, u = 7*l - 2*l - 6. Let s be (1 + 754/(-750))*(-29 + 48 - 22). Which is smaller: s or l?
s
Let l = -38 - -223. Suppose d = 6*d - l. Are d and 37 equal?
True
Suppose 23 = i - 5*l, 5*i + 5*l + 30 = l. Let w be (0 - 2)*6/(-3252). Let r = -1621/1355 - w. Are i and r unequal?
True
Let b = -26 + 27. Let x = b + 8. Let i = x + -9. Is i less than 9?
True
Let k(p) = 5*p**3 + 3*p**2 + 3*p - 1. Suppose 0*f = -f - 2. Let i be k(f). Which is greater: -34 or i?
-34
Suppose 8*k = -0 + 16. Suppose k*w - 74 = 3*d, -w - 2 = d + 4*w. Does -70/3 = d?
False
Let y be 158/(-22) + (-6)/(-33). Let j be (-7)/(y/2) + -2. Suppose 0 = -7*c + 3*c. Is j greater than or equal to c?
True
Suppose 745 = 27*f - 22*f. Are f and 146 unequal?
True
Let a be (3 + -2)*(2 + -3). Let t = 881/6837 - 5/43. Let v = t - 55/159. Which is greater: v or a?
v
Let u(h) = -h**3 + 5*h**2 + 4*h + 10. Let i = 49 - 42. Let g be u(i). Do -60 and g have the same value?
True
Let g(s) = s**3 - 12*s**2 + 10*s + 16. Let f be g(11). Let j be ((-6)/f)/((-9)/(-45)). Let i(m) = -3*m**2 - 4*m - 3. Let p be i(-2). Which is smaller: j or p?
p
Let a(n) = -n**2 - 8*n - 2. Let w be a(-7). S