0 - -30. Suppose -4*u - 3*x = 2*x - 45, 5*x = 3*u + i. Suppose 4*b + 1 + 4 = u*y, -4*y + 4*b + 8 = 0. Which is smaller: -0.1 or y?
y
Let o be ((-56)/1666)/(-1 - 90/(-70)). Let a(z) = -z**3 - 4*z**2 - 4*z - 2. Let g be a(-2). Let r be g/(-4)*-2*-1. Do o and r have different values?
True
Let o(k) = 13*k + 82. Let t be o(-7). Let b be 106*t/792 + 2/(-8). Which is bigger: -0.3 or b?
-0.3
Let c = -837 - -833. Let z be 55 + ((-16)/c + 8 - 6). Suppose 0 = 4*h - 12, 4*r - 245 = -2*h + 3*h. Does z = r?
False
Let x = 29.9 - 29. Let p = x + 0.8. Let l = p - 2.1. Which is smaller: 3 or l?
l
Suppose 7*n - 2*n = 0. Suppose 3*t + 5*k - 1 = 13, t - 4*k = -18. Let w be t/35*(8 + -3). Which is smaller: n or w?
w
Let k = -110682/35 + 3162. Suppose -5*u - 2*t + 6 = 0, -11*u - 2*t = -9*u - 6. Which is smaller: u or k?
k
Suppose -20 = -2*t + 20. Suppose 5*w - 71 = -3*c + 57, 0 = 2*c - 3*w - 3. Which is smaller: c or t?
t
Suppose -s = -3*s - 448 + 1148. Is 346 < s?
True
Suppose -46*t - 28*t = 0. Is t less than 14/337?
True
Let o be 10 - (6/20 + 66989/(-130)). Is o not equal to 527?
True
Let p be -2 + 16/6 + 489386/(-537). Which is bigger: p or -910?
-910
Suppose 9*c + 1296 = -936. Let j = c - -272. Suppose -15 = -k + 4*l, 5*k - 4*l - 107 = -0*k. Is j >= k?
True
Suppose 0 = 35*l - 46*l + 19096. Is 1738 at least as big as l?
True
Let b(u) = -u**2 - 45*u - 417. Let y be b(-32). Which is bigger: -3/3622 or y?
-3/3622
Let m(c) = 316*c**2 - 121*c + 14. Let v be m(6). Is 10662 greater than or equal to v?
False
Let j be (-428)/(-781) - (20 - (-2568)/(-132)). Let w = 37 + -37. Is j greater than or equal to w?
True
Let g be (-2)/3 - (148/12 - -2). Suppose 19*i - 22*i = -240. Suppose -37*n = -32*n + i. Is n at most g?
True
Suppose 19 = -5*l + m, m + 4*m = 3*l + 29. Let q(s) = s**2 - 6*s - 1. Let p be q(4). Let b(k) = -k**3 - 10*k**2 - 8*k + 7. Let d be b(p). Is l bigger than d?
False
Let f be 12/21 + 48/14. Let j = -0.14 + 0.41. Let d = j - 0.07. Which is smaller: d or f?
d
Let b = -15/4 + 341/92. Let x = -22892 + 22891. Which is smaller: b or x?
x
Let m = 25993 - 26872. Which is greater: 16 or m?
16
Let y be ((-7)/(-21))/(1/708). Let a = -235 + y. Is a at least -2/463?
True
Let v(d) = -17*d - 21. Let j(n) = -n**2 - n - 1. Let t(s) = 5*j(s) + v(s). Let f be t(-6). Does -73 = f?
False
Let c = -4 + 4. Suppose -4*n + 2*n + 0*n = c. Let x be 6/(-21) - 74/(-14) - 3. Which is smaller: x or n?
n
Let o(u) = -u**2 - 35*u - 60. Let x be o(-33). Suppose 2*j = 5*s - 51, -2*j - 9*s = -x*s + 27. Suppose 5*r + 107 = 17. Is r at least j?
True
Let n = 1903 - 1893. Which is bigger: 4 or n?
n
Suppose -13*j - 17*j + 56706 = -7764. Which is bigger: 2158 or j?
2158
Let f = -5571714/457 - -12192. Which is smaller: -1 or f?
-1
Suppose 21 = 2*m + 33. Let h be ((-354)/(-15))/(m/(-15)). Let k = -83 + h. Is -24 >= k?
True
Suppose -57*j = -107*j - 101*j - 2209281. Is j bigger than -14632?
True
Let d = -34 - -79. Let r be (6/1)/(3 - 1). Suppose 15 = r*j + d. Which is smaller: -8 or j?
j
Let l be -4*(-2 - (-9)/6). Suppose 2*i = 2*k + l, i + 14 = 4*k + 6*i. Let w be 8/7 - 3250/2660. Which is smaller: k or w?
w
Let t = -5 + 8. Let z be (4/2 - 40) + t. Let s be 4/10 - 364/10. Is z at most s?
False
Let c(t) = -6*t + 10. Let p be c(-7). Let y = -33 + p. Let u = y - 32. Is u at least -11?
False
Let l = 185 - 195.8. Let j = 9.8 + l. Is j != 34/3?
True
Let s = 3920 + -3921. Is s greater than 26/127?
False
Let o(j) = 45*j**2 + 49*j - 356. Let p be o(-10). Which is bigger: p or 3652?
p
Let s = 0.10343 - 0.15343. Is s less than 3/130?
True
Let p(m) = -652*m - 727. Let q be p(-1). Is q greater than or equal to -45?
False
Suppose -3 = 7*d - 24. Suppose b - o = -29, 5*b + 5*o - d*o = -131. Is -25 not equal to b?
True
Let u(g) = 2*g + 36. Let r = -42 + 29. Let i be u(r). Suppose i*o = o. Which is greater: o or 1/52?
1/52
Let p = -8233 - -8225. Which is smaller: 361 or p?
p
Let m = -61 - -58. Let t be (1 + 5/m)*15. Suppose 26 = -3*v + 5*l, 0 = 5*l - l + 8. Is t at least v?
True
Suppose d + 2*a - 13 = -2*d, d = -4*a + 11. Suppose d*b - 542 = -851. Which is greater: 2 or b?
2
Suppose -31*v + 5 = -36*v, 0 = b - 4*v + 5126. Which is bigger: b or -5128?
-5128
Suppose -3*g = 0, -3*x + 25 = 2*x - 2*g. Suppose -19 = -3*v + j, -x*v - j + 29 = -2*j. Suppose -o + v*o = -4. Does o = 1/14?
False
Let g = -10317 + 10310. Is g at least as big as 0.104?
False
Suppose -10*q + 4*q + 1404 = 0. Suppose 0 = -54*n + 57*n + q. Let d be 1*5 + 2210/n. Which is bigger: -23 or d?
-23
Let z(j) = -j**3 - 34*j**2 + 2*j + 67. Let q be 680/(-8)*((-68)/(-20) + -3). Let i be z(q). Which is smaller: -11/9 or i?
-11/9
Let v be (-6 + 2)*2/(-9). Suppose 886 + 113 = 3*g. Let q = g - 333. Do v and q have different values?
True
Suppose 4*l + l = 4*g + 155, 0 = 4*l + 2*g - 98. Let c be 1 + -2 + 159/l. Let k = 1223/252 - c. Which is bigger: -1 or k?
k
Suppose -23 = -2*v + 5*a - 7, -5*v - 5*a = 30. Let i be 26/52 + (-17)/v. Which is greater: 7 or i?
i
Let c = -319.089 - -319. Let q = 0.131 - c. Does q = -0.5?
False
Let g be 3081/26*(-20)/15. Is 2/31 < g?
False
Let l = -2 - -3. Let p(o) = -3*o**2 - o. Let a be p(l). Suppose 2*j = -t - 12, 5*j + 12 = -724*t + 723*t. Is a at most as big as j?
True
Suppose 4*l + 326 = -5*g, -2*g + l + 314 = -7*g. Let x = -110 - -114. Suppose 2*t = -4*z - 254, 260 = -8*z + 4*z - x*t. Is g at most z?
True
Let s be (-117)/624 - (-37161)/196272. Which is greater: s or 0?
s
Suppose -4*g = 5*t + 11, -6 = -38*t + 40*t. Is 47/33 less than g?
False
Let f(q) = 4*q**3 - 113*q**2 + 18*q + 198. Let s be f(28). Is -78 > s?
True
Let d(m) = -m**3 - 2*m - 4. Let w be d(0). Let k(s) = 5*s + 20. Let n be k(-4). Suppose 3*p - f + 2 + 2 = n, 5*f = 5. Which is smaller: p or w?
w
Suppose 4*w = -4*t - 24, -10*w + 6*w + 3*t = 10. Let h be 13 + ((-16)/6 - (-12)/(-36)). Let v be w/h*(5 + 150/(-36)). Which is smaller: v or -0.03?
v
Let t = 15 + -4. Let c(s) = -6*s**2 - 44*s - 2. Let i be c(-7). Suppose -2*g = 5*d - 28, -2*g + i = -2*d + 3*d. Which is smaller: g or t?
g
Suppose 153*s + 326400 = -584409. Is s smaller than -5952?
True
Suppose 29*d = 5513 - 3744. Which is bigger: -11 or d?
d
Let s = -13/38 + -21531/266. Let r = -81 - s. Which is smaller: 11/4 or r?
r
Suppose -4*z - 34 = y - 54, -y + 2*z = -38. Let h(a) = a**2 - 27*a - 159. Let f be h(y). Which is smaller: 4/9 or f?
4/9
Let y = -143 - -134. Let p be y - -3 - 0/(-6). Is -8 smaller than p?
True
Suppose 5*a - 4 - 1 = 4*b, -b + 5*a = 5. Suppose 2*h - 26 = 7*h - 4*o, b = -2*h + 5*o - 24. Which is bigger: h or 31?
31
Let u = 2901 + -3472. Which is greater: -569 or u?
-569
Suppose -2*i = i - 12. Let n = -5 + i. Let t be (-54 - -48) + (82/10 - 2). Is t at least as big as n?
True
Suppose 12 = 3*n - 27*o + 24*o, -5*n = -4*o - 19. Let q = -27 + 27. Is q bigger than n?
False
Let l = -3.08 + 0.08. Let k be (-4)/36 + (-7396)/(-4032). Let f = k - -3/112. Which is smaller: l or f?
l
Let i be (7 - 3440/24)*(-1 - -19)/3. Is i smaller than 0?
True
Let l be ((-2)/(0 - (-6)/111))/(2/(-20)). Is l > 1852/5?
False
Let r = -172 - -172.0261. Let x = -0.0379 - r. Is 0 less than x?
False
Let k be (245/(-20))/((-5)/(-100)). Let l = -240 - k. Let n = 14 - 21. Which is smaller: l or n?
n
Let x be (-4 + (-24)/(-6))/(1 - 3). Suppose x*r + 3*r = 0. Which is smaller: 5/89 or r?
r
Let d = -1076 - -1077. Let z = 4/47 - -442/329. Does z = d?
False
Let v = -129 - -52. Let a = -73 - v. Suppose 0 = a*u - 6*u + u. Which is smaller: -5 or u?
-5
Suppose -2*w - 168 + 160 = 0. Let i be (w/(-6))/(90/135). Let x be (6/5)/((-52)/(-40)). Which is bigger: i or x?
i
Let g = 9 - 5. Let p = 1 + g. Suppose 3*i - 15 = 0, 4*o + 38 = 3*i + 55. Which is smaller: o or p?
p
Suppose -r = -b - 16, 0 = b - 2*b + 3. Suppose -r = -t + 2. Which is smaller: 24 or t?
t
Suppose -f - k + 3*k = -10, -3*f + 2*k + 10 = 0. Suppose f = 14*y - 5*y. Suppose -2*m = -y*m - 3*m. Is m >= -3/31?
True
Let b be 2/21 + 8 + (-253)/33. Which is smaller: 11/2 or b?
b
Let p = -44 + 24. Let q be (5/(50/p))/(1/(-2)). Is q greater than or equal to 27/10?
True
Let o = -18/4303 + -6338229/21515. Is o at least -296?
True
Let u = -3 - 16. Let s = -331.96 - 21.24. Let a = s - -353. Which is smaller: u or a?
u
Let a = -2365 + 3450. Suppose 0 = 5*i + 2*i - a. Is i greater than 155?
False
Let j = 