 or l?
l
Suppose 5*v + 1165 = 2*x, 28*v + 5*x = 29*v + 256. Do -248 and v have the same value?
False
Suppose s = -3*m + 1096, -5*s + 15 = 10. Suppose 5*c - 11*t + 6*t = -m, -5*t = 2*c + 118. Is c greater than -68?
False
Let t = 226 - 222. Suppose -q + 9 = 3*w, t*q + 2*w + 0 - 6 = 0. Which is smaller: q or 2/69?
q
Let d = -6331453/7 - -906355. Which is bigger: d or 1862?
1862
Let v be ((-35)/(-2))/(-7)*48/(-1). Suppose -114*c = -v*c - 1632. Is c greater than or equal to -273?
True
Let i(r) = -r**3 - 16*r**2 - 28*r + 3. Let u be i(-14). Suppose u*j - 3*j = -3*j. Suppose j = -4*v - 8*t + 3*t + 3, -v = t - 1. Which is smaller: v or 0?
0
Let j(s) be the second derivative of -7*s**3 - 7*s**2/2 + s. Let f be j(1). Let n = f + 69. Which is smaller: n or 21?
n
Let a be -1 + 45/27 + 200/(-228). Let n = 105 - 105. Which is smaller: a or n?
a
Let y = 25 - 23. Let i be (-7)/(-31)*y/7. Is i > -1?
True
Let c be ((-102)/476)/(9/12) + (-10)/(-28). Which is smaller: c or -209?
-209
Let g = -13182544/13 - -1015090. Which is greater: g or 1047?
g
Let k = 3851.4 + -3083.5. Which is smaller: k or 0.2?
0.2
Let d(f) = 2*f**3 - 20*f**2 - 189*f + 13. Let c be d(-6). Which is smaller: c or 16/9?
c
Let q = 143.99 - 146. Let i = 2.08 + q. Is 8 at least i?
True
Let r(c) = -c**3 + 2*c + 12. Let n be r(0). Let t be 3/(-696)*-38 + 3/n. Is 0 greater than t?
False
Let o be (-1)/1*(2 + -1). Let g be 344/(-178) + 2/(-6) + (-77)/(-33). Which is greater: g or o?
g
Suppose 48*y - 38 + 115 = 29. Which is smaller: y or 5/49?
y
Suppose -15*g - 1076 = -236. Is -47 greater than g?
True
Suppose -3*b + 5*y = 2*b + 5, 2*b + 5*y + 30 = 0. Let g be (0 + -1)/(b/(-1350)). Let c be (-2)/5*g/(-96). Is c smaller than 0?
True
Let g = -0.5 - -0.6. Let s be (-3)/8 + -30 + (-24911)/(-696). Does s = g?
False
Let x = -75 - -49. Let v = 271256/225 + -182495168/151425. Let m = v + 2/673. Which is smaller: x or m?
x
Suppose -13*b = 11*b + 8472. Let t = 354 + b. Which is smaller: 1/552 or t?
1/552
Let t = 5662 - 5836.5. Is t equal to 2?
False
Let y = -2413.2 + 2413. Is y at least as big as -977?
True
Let b = 11021.8 + -10996. Are -0.31 and b equal?
False
Suppose n = l, -2*n + 5*n - 4*l + 4 = 0. Suppose 0 = x + 5*i, -5*x - 11 = -2*i - 38. Are x and n equal?
False
Let x = -831 + 850. Let u be ((-4)/3)/(8/(-108)). Which is smaller: u or x?
u
Let t(m) = 10*m - 79. Let z(h) = -h**2 + 20*h - 67. Let j be z(5). Let g be t(j). Which is bigger: g or 1/66?
g
Suppose 4300 + 3414 = -551*m. Let h = -0.1 - -0.14. Is m smaller than h?
True
Suppose c - 4*d = 285 + 27, -2*d - 648 = -2*c. Is c equal to 327?
False
Let l = -71388/43 + 1660. Let i = l + -143/387. Which is greater: i or -1?
i
Let l(q) = q**3 - 8*q**2 - 9*q - 4. Let o be l(9). Let v be 6/o*(-2 + (-128)/12). Suppose -3*j - v = -4*j. Are 19 and j non-equal?
False
Let c be (-8)/112*((-4)/(-4) + -5). Let d = 6/119 - 227/2142. Which is smaller: d or c?
d
Let z = -34 + 42. Suppose z*u + 606 = -218. Is -103 not equal to u?
False
Suppose 3*c + 4388 = 4*r, -896*c + 893*c = 4*r - 4340. Is 1099 less than or equal to r?
False
Let f = 23891 - 215737/9. Which is greater: f or -80?
f
Suppose -9403 - 4163 = 7*u + 107*u. Is -100 > u?
True
Let a = -1361 + 1353. Is a at most -246?
False
Suppose 20*b = -17*b - 32*b - 21873. Which is greater: b or 12?
12
Let c(p) = 2*p + 3. Let n(k) = 5*k - 85. Let g(i) = 2*c(i) + n(i). Let o be g(9). Let h be 2/1 + (-2 - -4). Is o bigger than h?
False
Let j = 2.718 + -215.418. Let q = j - -220. Is -1/4 >= q?
False
Suppose 2*m - 5*s + 0*s = 25, 10 = -2*s. Suppose 0 = 3*g, -k - 3*g = -m*g + 167. Let t = k + 1167/7. Is 0 less than or equal to t?
False
Let g be (2/324870)/((-21)/(-15614529)). Let w = -389/85 + g. Which is greater: 1 or w?
1
Suppose 0 = 11*r - 13*r + 6. Suppose -r*z + 44 = -5*z. Let w = 29 - 50. Which is smaller: w or z?
z
Let x be -1*(142 - -4) - -11. Which is greater: x or -149?
x
Let j be ((-11)/((-99)/696))/((-18)/27). Which is smaller: 17 or j?
j
Suppose -5*v = 3 + 12. Let c = 1631987/81870 - 3/5458. Let q = c - 67/3. Which is smaller: q or v?
v
Let j = 884 - 5683. Let g = j - -1530878/319. Is g smaller than -1?
False
Let c be -2 + ((-180)/7)/(-5 + (-648)/84). Which is smaller: c or 0.02?
0.02
Let v(f) = -10*f**3 - 2*f**2 - 2*f. Let x be v(-1). Suppose -a + x*a = 225. Which is bigger: 26 or a?
26
Suppose 1405*b - 1390*b = -3915 - 9060. Is -857 less than b?
False
Let h be 11 + -7 + (7/21 - 4869/27). Which is greater: -181 or h?
h
Suppose -72 = 2*l - m, -l + 4*m = -11 + 54. Let p(v) = 223*v - 426. Let w be p(2). Let r be (-4)/l*50/w. Which is greater: -2/51 or r?
r
Suppose 3*z = 2*l - 5 - 15, 0 = -4*z + 3*l - 28. Let n = 120 - -84. Suppose 10*c + 224 = n. Is z > c?
False
Let s = 2667502/3299572809 - 44/56849. Does 1 = s?
False
Let i be 252/10*(36 + -16). Suppose -502*c + i*c = -10. Is -10 less than or equal to c?
True
Suppose 5*w = 11*w + 6. Let s(h) = 2*h**2 - 16*h - 20. Let i be s(15). Let y = i + -3227/17. Which is smaller: y or w?
w
Let h = -809.8 - -516.8. Let n be 24/(-35) + (-2)/(-7). Which is smaller: n or h?
h
Suppose -69675 = -8*p - 36*p + 10757. Is p bigger than 1828?
False
Let y = -8534705 + 8538406.023. Let x = y - 3697. Let u = 0.023 - x. Which is greater: u or -4/9?
-4/9
Let v be 5616/(-891) - (-2)/3. Let f = 1032/187 + v. Which is bigger: f or -1/47?
-1/47
Let j(w) = 79*w - 137. Let o be j(20). Which is smaller: 1447 or o?
o
Let y(t) = 3*t**3 + 12*t**2 + 7*t + 25. Let f be y(-4). Which is bigger: -45 or f?
f
Let i = 7.88 - 7.58. Which is greater: -689 or i?
i
Suppose -46 = -21*v - 12 + 50. Which is bigger: 52 or v?
52
Let v = 33 + 15. Let x = 7.1 + -56.1. Let p = x + v. Which is smaller: 1/50 or p?
p
Let z(p) = p**2 + 5. Let i be z(0). Let m(n) = -6*n + 26 - n - 5 - n**2. Let k be m(-9). Which is smaller: k or i?
k
Suppose -4*d - 18 = -2*r, -14*r - 2*r + 5*d = -90. Is -24 at least as big as r?
False
Let t(p) = -64*p**3 - p**2 - 3*p + 4. Suppose 3*f - 198 + 195 = 0. Let o be t(f). Let h(u) = 33*u + 3. Let r be h(-2). Is o bigger than r?
False
Let h be ((-16)/40 - (-179)/485)/((-12)/(-60)). Which is bigger: 0 or h?
0
Let g(c) = 63*c + 139. Let q be g(7). Let s = q + -579. Is s at least as big as 15/68?
True
Let a be 837/(-108) + (-11)/(-1). Let s(z) = -z + 12. Let y be s(7). Let q = y + -2. Which is greater: q or a?
a
Let y be (-15)/(-6)*8/20. Let q be 0*(-3)/(-15)*y. Which is smaller: 2 or q?
q
Let d(m) = -673*m**2 - 16*m + 675*m**2 - 36*m - 260. Let b be d(-6). Which is smaller: b or -1?
-1
Let u(n) = 7*n + 4. Let v be u(-10). Let y be (-4)/(-20) + v/320. Which is greater: 0 or y?
0
Suppose -46 = 8*d + 354. Let v be -3 - (d - (-4 - 2)). Are 1 and v equal?
False
Let v = -581.1 + 587. Is 0.16 at least as big as v?
False
Let d be ((-66)/(-54))/(5652/621 - 9). Which is greater: 12 or d?
d
Let r be (187374/(-165))/(3 + -1) + 9. Are -559 and r unequal?
True
Let s = 580/31 - 1311/62. Which is bigger: -1 or s?
-1
Let a(k) = -6*k**2 - 52*k - 2. Let q be a(-9). Let c be (1/(-5) - 24/q)*-3. Which is greater: -11/3 or c?
c
Let v be (90/(-12) + 6)*-2. Let g be ((-292)/24*v)/2. Which is bigger: g or -17?
-17
Let p = 3575.09 - 3590. Let y = p + -0.09. Let g = y + 15.5. Which is greater: 0 or g?
g
Let q(n) = n**3 - 11*n**2 - 10*n + 9. Let a = 3 - -9. Let f be q(a). Let l be ((-4)/(-15))/(f/(-9) - -3). Is -1/8 greater than or equal to l?
True
Let j = 2/5 + -159/35. Let h be -1 + (-62)/84*2. Let k = h - j. Is -0.06 not equal to k?
True
Let a be -3 + (24/20)/((-3)/(-40)). Suppose 3*n - a*g = -17*g + 13, -4*g + 18 = -2*n. Is n greater than 2/113?
False
Suppose y - 5 = -5. Suppose -9*c + y*c = 18. Let r be (3 - c) + (-343)/21. Are r and -2/9 equal?
False
Let h be 17/((-204)/32)*39/(-4). Let k be (-1576)/(-234) + h/169. Is 8 at least k?
True
Suppose -3*y + 0*y + 15 = 0. Suppose 26 = -4*b - 2*g - 26, -5*g + 80 = -4*b. Let m be b/(-18)*((-192)/(-45) - 4). Which is smaller: y or m?
m
Suppose 0 = -5*z + 15, 4*z = -3*c + 2 + 22. Let g be -6*(7/(-2) - (c + -3)). Let w be ((-5)/35*-7)/((-2)/2). Is g <= w?
False
Let d = 0.151 + 0.029. Let l = d + -52.18. Let j = l + 51.9. Which is bigger: -0.18 or j?
j
Suppose 0*n = 4*b + n + 6, -2*n = 5*b + 6. Let a = -142 + 142.072. Let w = 9.072 - a. Which is greater: b or w?
w
Let b be ((-120)/(-36))/((-6)