 or q?
q
Let r be 2 - (1 - -3) - 261/(-137). Let n = r + -9140/411. Which is smaller: -21 or n?
n
Let q = 483/71 - 3192971/469381. Which is greater: q or 1?
1
Let q be -5*(-12)/14 + (-64)/16. Which is smaller: 2308 or q?
q
Suppose 969 = 73*f - 90*f. Suppose 5*y + 371 = 86. Do f and y have different values?
False
Let v = 238.044 - 0.044. Let w = v + -248. Suppose 2 - 7 = i. Is w > i?
False
Let s be (3 - 5) + 6 + -37 + -81. Which is smaller: -100 or s?
s
Let w = 102 - 85.4. Let v = -2.6 + w. Is -6 at most v?
True
Let l be (902232/189)/(1*-2). Is l at least as big as -2388?
True
Let i be 3*((-2)/1 - 5/(-1)). Suppose -i*j + 50 + 148 = 0. Suppose -3*w + 8*w = -s - 22, 5*s + 3*w + j = 0. Which is smaller: -11/7 or s?
s
Let b = -1073 + 1072.142. Let s = b - -0.148. Which is greater: s or 2/7?
2/7
Let o = -126 + 141. Suppose -4*i = -9*i + 3*s - o, -i + 20 = 4*s. Is i <= 25/23?
True
Suppose 267 = 3*v + n, 4*v - 8*v - 4*n = -348. Let u be 1*v/24*-36. Which is smaller: -1 or u?
u
Let w be 95/1330 - (-56222)/28. Is w less than or equal to 2009?
True
Let g = 19572 + -17991. Which is smaller: -2/17 or g?
-2/17
Suppose 118*f - 123*f + 870 = 0. Suppose -f = -7*t + 10*t. Let u be (-7)/(35/15) - t. Which is smaller: u or 56?
u
Let t = -9 - -13. Let n(r) = 2*r**3 - 73*r**2 - 34*r - 87. Let q be n(37). Suppose z + q = -t*v, 0*z - v - 116 = 3*z. Is -39 > z?
True
Let d = -588 - -707.4. Let l = -119 + d. Which is greater: l or 4/43?
l
Let i = 512 - 788. Let j = 278 + i. Do j and -0.3 have the same value?
False
Suppose 73 = -m + 184. Let p = m - 102. Let b = 29 + -20. Is p greater than b?
False
Let z(t) = 2*t - 12*t**2 - 20 - 12*t - 4*t**2 - t**3 + 9*t**2. Let k be z(-6). Let f = 8.98 - 9. Which is bigger: f or k?
k
Suppose -10*d = 1 - 41. Let f be 1 - (d - 3) - 6/(-2). Which is bigger: -8.8 or f?
f
Let c be (-56)/(-3) - 2/3. Suppose 5*l - 87 = -2*h, h = 5*h - l - 207. Suppose 6*j - h = 63. Is c greater than or equal to j?
False
Let p(f) = -f**3 + 9*f**2 + 27*f - 120. Let b be p(11). Which is greater: b or 9?
9
Let x be -10 - (-25)/(-15)*60/(-50). Suppose -3*c = q - 76, -5*q + 4 = -16. Let i be ((-2)/(-4))/((-2)/c). Which is bigger: x or i?
i
Let h = 249.2 + 0.8. Let q = h - 247. Which is greater: 90 or q?
90
Let j be 0 - (-234)/14 - -1. Let v be ((-9)/(-6)*19)/(-7*6/(-28)). Is v != j?
True
Let r = 538.7 - 538.76. Which is bigger: r or -0.0323?
-0.0323
Let l = -68 + 71. Let j(v) = 2*v**2 + 4*v - 10*v**3 - 12*v**l - 13*v**3 + 2 + 38*v**3. Let w be j(-3). Is -74 at most as big as w?
True
Let i = -10 - -9.7. Let u = 207 + -207.42. Let s = i - u. Are -2/3 and s nonequal?
True
Let m be (-3 + (-69)/(-9))/(14/63). Let d be ((-5)/(-2))/(-1 - m/(-14)). Suppose -g + 15 + 11 = d*v, -5*v + 2*g = -23. Do 0 and v have the same value?
False
Let c = -14649 - -14648.4. Let n be (-8)/(-5) + 10/(-25). Which is smaller: c or n?
c
Suppose -5*a - 3*y + 145 = 0, 0 = -a + 13*y - 11*y + 16. Is 247/9 > a?
True
Let f be (-4)/65*1744/327. Which is smaller: f or 0?
f
Let g = 0.661 + -0.198. Let y = g + -19.563. Let j = y - -17. Which is greater: j or -0.1?
-0.1
Let z = -0.32811 + -18.26289. Let s = z + -0.409. Is 1/4 greater than or equal to s?
True
Let z be ((-6)/8)/(36/(-4416)). Let q = -3332 - -6849/2. Is q > z?
True
Suppose 5*b - 3*s - 58 = -5*s, 4*b - 52 = 4*s. Suppose -10*l + 38 + b = 0. Let o be -3*15/18*(-1)/l. Is -0.16 smaller than o?
True
Let b be (22/(-165))/((-1)/5) + (-136)/(-3). Which is bigger: b or -47?
b
Let v = -4/2669 + 2753/56049. Which is smaller: v or -31.3?
-31.3
Let h be 1329/(-333) - ((-12 - -16) + -8). Which is greater: 1 or h?
1
Let y = -78 - -77. Let g be (58/(-18) + 3)*12/136. Is y >= g?
False
Let a be ((-32)/(-288))/(2 - (-5)/(-2))*1. Which is smaller: a or -0.656?
-0.656
Let g = -23413 + 842809/36. Which is bigger: g or -0.1?
-0.1
Let u = 754 + -755.1. Let v be 2/(6 - 0)*2/(-4). Is u bigger than v?
False
Suppose 0 = u + 2*l - 34, 2*u + 181 = 7*u - l. Let q(c) = 72*c**3 - c + 1. Let v be q(1). Suppose 5*s - 3 = 2*t - 83, -2*t + v = -s. Is u at most as big as t?
False
Let r(u) be the first derivative of 2*u**2 - 49*u + 14. Let z be r(13). Suppose -4*m + 0*i - 3*i + 203 = 0, -z*m - 4*i = -147. Which is greater: m or 51?
m
Let b be ((-11)/(-4))/((-1)/4) + 4. Let l(w) = w**3 + 4*w**2 - 12*w + 13. Let m be l(b). Is -53 at least m?
False
Let i(a) = 475*a + 4721. Let s be i(-9). Which is bigger: 1783/4 or s?
s
Let b be (3 - 3 - 2)/((-64)/(-96)). Let m = -1 + 3. Suppose -2*u = -4*z + 4, m*u - z = u - 3. Is b greater than u?
True
Suppose 3*i - 4*i = 56. Let q be 12/(-135)*2514/4 - 58/435. Is i > q?
False
Suppose 8 = -4*y + 6*y. Suppose 0*o + 5*b = -y*o, 0 = -b - 4. Suppose -9*c = -o*c + 4. Is c less than 3?
True
Let s(f) = -f**3 + f**2 + 7*f - 9. Let a be (0 - (-36)/8)*20/45. Let k be s(a). Let d be 28/(-13) - -2 - (-2176)/15496. Which is smaller: d or k?
d
Let y = -27 + 35. Let v = y + 55. Let x = v - 62. Which is bigger: 0 or x?
x
Let m = 0.293 - 0.3. Let d = -875.593 + 876. Let y = d + m. Is y greater than or equal to -2?
True
Let a(f) = 4 - 56*f - 3*f**2 - f**3 + 62*f + 0*f**2 + 7*f**2. Let l be a(5). Suppose 4*u + l = 101. Is 0 greater than u?
False
Suppose j - 6 = -0*j. Let p be 1 + 0 + (-6 - -7). Suppose j*l = -p*l + 392. Does 48 = l?
False
Suppose -3*o = 3*s + 30, 0 = 8*s - 9*s + 5*o + 2. Let n be ((-17)/10)/(s/(-16)). Do -0.5 and n have the same value?
False
Let y be (-1 + -16 + -4)*(6 + 3/(-1)). Which is smaller: -619/10 or y?
y
Let j be ((-8)/30)/(-1146*(-9)/(-55260)). Let p = j + 3/191. Is p smaller than 1?
False
Suppose 76*s = -22*s + 2842. Is 1/4 < s?
True
Let g = -11057.2 + 11057. Which is greater: -38 or g?
g
Let r(h) = -51*h + 2782. Let z be r(45). Which is greater: z or 483?
z
Let l(z) = z**3 + 7*z**2 + 3*z - 5. Let v be l(-6). Let g be (v + 2)*5/(-15) - -6. Let r be 1 - -3*1/5. Which is greater: r or g?
r
Let a = 352/2295 + -4/765. Let i = 12658 - 12658. Which is greater: i or a?
a
Let t(i) = i**3 + 12*i**2 + 10*i - 7. Let h be t(-11). Let w be (2/(-1))/h*(-2 + 2). Is -1/20 at least as big as w?
False
Suppose -r - o - 4 = 0, r - 2 = 4*o + 9. Let i be r - (-182)/(-12)*-1. Let z = i - 1613/114. Which is bigger: z or -1?
z
Let s(a) = a**3 - 29*a**2 + 23*a + 8. Let v(u) = u**2 + 1. Let y = -64 + 63. Let h(n) = y*s(n) - 3*v(n). Let g be h(25). Is g at most 39?
True
Suppose -243*m - 5187 = 30*m. Which is bigger: m or -712/39?
-712/39
Suppose 59*o = 76*o - 52*o + 9835. Which is bigger: o or 311?
311
Let z = -38278 + 38266. Suppose 6*w = 4*w - 26. Which is smaller: z or w?
w
Let b be (-2 - 54*24/(-630)) + (-39014)/(-805). Is 50 at least as big as b?
True
Suppose 3*r = r. Suppose -33*l - 145 + 1399 = 0. Let s = 192/5 - l. Which is greater: r or s?
s
Let v = -291 - -204. Let u be 3 - v/(-30) - -6. Which is smaller: u or 5?
5
Let q(g) = 2*g**3 - g**2 - 5*g + 3. Let k be q(2). Suppose k*u - 86 = 4*z + 102, 0 = -2*z + u - 100. Let d = 53 + z. Are d and -11 non-equal?
True
Let b = 9405 - 9311. Let a be 136*(-2)/(-8)*3. Let y = a - b. Which is greater: 10 or y?
10
Suppose 5*i + 6*g - 2*g = 8699, i + 3*g - 1731 = 0. Suppose -4*z - i = -25*z. Which is smaller: z or 84?
z
Let v(b) = -11*b + 7. Suppose 5*l + z = -0 + 6, -4*z = -3*l + 22. Let o be v(l). Which is smaller: o or 2?
o
Let g(c) = -2*c**3 - 11*c**2 + 5*c + 57. Let b be g(-7). Let v = 288 - b. Which is smaller: v or 120?
v
Let h(z) = z**2 + 9*z - 10. Let i be h(3). Suppose i = 18*s + 8. Which is smaller: s or 2/95?
2/95
Suppose 56 = -4*v + 52. Is 2/2225 smaller than v?
False
Let d = -132045623/2148 + 245895/4. Let j(l) = l - 6. Let w be j(6). Which is greater: d or w?
w
Let y be (-1)/((-6)/9)*50/3. Let d be 3 - (-4 - y - -2). Suppose 46 = 4*l - d. Which is smaller: l or 20?
l
Let t be (-2536)/7536 - 1/(-3). Let o be 99/(-90) + (4 + -2)/20. Which is smaller: t or o?
o
Let r = 0.669 + 162.331. Let u = r - 161. Let g = -1.25 + 1. Is g less than u?
True
Let j(l) = l**3 - 15*l**2. Let k be j(15). Suppose 14*v - 2114 = -k*v. Is v greater than 152?
False
Let q = 4256 + -4213. Is q bigger than 52?
False
Let l be ((-30)/(-7))/((-132)/(-231))*(-130 + 0). Is -978 < l?
True
Let w = -8 + 4. Let u = 240230 - 240196. Is w greater than u?
False
Suppose 5*r = 5*a - 60, -31*a + 36*a + r - 78 = 0. Which is greater: 50 or a?
50
Su