l(-3). Let b be 14 + -13 + -2 + h. Let r be 7 - 9 - (7 + b). Which is smaller: r or 1?
r
Let g = -55.48 - -54. Let z = 1.56 + g. Which is smaller: z or -6?
-6
Let x = -20981/2 - -9870. Which is smaller: x or -620?
x
Suppose 24 = 4*o - 4*t, 0*t - 2*t = -5*o + 27. Suppose 0 = 5*n - o*m - 515, -59 - 40 = -n + 2*m. Suppose -8*f - n = -35. Which is greater: f or -84/11?
-84/11
Let f = 39 + -39.131. Let a = -2.131 - f. Is 20 smaller than a?
False
Suppose n + 4 = 3*m, 0 = 2*n + 4*m + 1 - 23. Suppose 0*p + n*p = -3*p. Suppose p = q - 4, -3*g + 0 = -3*q + 12. Which is greater: g or 3/10?
3/10
Let n(b) = -3*b - 15. Let x be n(-7). Let t be 42/28 - x/4. Which is smaller: 6/11 or t?
t
Let d = -21270 + 21270.03. Is d not equal to 4/105?
True
Let l = -0.0256 + 0.2756. Which is smaller: 173 or l?
l
Let v(j) = -49*j - 9702. Let n be v(-198). Let o be -5*8*(-4)/190. Which is smaller: o or n?
n
Let l(n) = -3*n + 32. Let h be l(12). Let x be h/(-4)*(-1)/(2/(-848)). Suppose -x = -5*v - 0*c - 2*c, 2*c + 164 = 2*v. Which is greater: v or 85?
85
Let r = 3120782/362483 - 2936/341. Is 0 greater than or equal to r?
True
Let z = 426320/9 + -47372. Let m be 12/9*(-1 - 2). Is m at most as big as z?
True
Suppose -32*c + 2976 = -0*c. Suppose -j = 3*f + 99, c = f - 4*f + j. Which is bigger: f or -34?
f
Suppose -5*m - 16 = -4*m. Let r be (-12)/32 - 214/m. Suppose -70 = -6*z + z. Which is bigger: z or r?
z
Let m(b) = b - 4. Let p be m(3). Let y be (-17 - (-36)/180*79)/((-62)/(-10)). Which is smaller: y or p?
p
Let x(v) = v**3 + 7*v**2 + 11*v + 9. Suppose -m - 23 = 4*r - 2*m, -2*m + 11 = -r. Let g be x(r). Suppose -g*n = -w + 16, 2*n + 4 = -4. Is 3/32 not equal to w?
True
Suppose -7*z + 60 = -2*z. Let w be ((-5)/15)/(2/z)*7. Let p be (((-12)/w)/3)/((-8)/(-12)). Are p and -1 equal?
False
Let y(z) = 3*z + 40. Let k be y(-7). Let a be (-26)/(-247)*1/k. Which is greater: a or 0?
a
Let p = -2861 - 1453. Is -4314 at most p?
True
Let j = 80 - 86.8. Let i = -4.1 - j. Let g = 2.5 - i. Which is bigger: g or -8?
g
Let u = -59 + 83. Let i = 23 - u. Let h be (2 - (-6)/(-2))/i. Which is bigger: -2 or h?
h
Let r be -17 - -16 - -1*((-13208)/4 + 3). Which is smaller: -3298 or r?
r
Suppose 424*d + 1371700 = 338*d. Is -15949 smaller than d?
False
Let m be 87/(-25) + -1 + 3. Which is bigger: -2 or m?
m
Let x = -5923 + 5924. Which is bigger: x or 1/6103?
x
Let t be (1/(-10)*-8)/(140/(-350)). Are -1 and t nonequal?
True
Let i = -8 - -6. Let p be (205/(-2))/5*i. Suppose -3*m + p + 19 = 0. Is 20 < m?
False
Let s(v) = 20*v**3 + 4*v**2 - 3. Let m be s(1). Let w be (-3)/m + (-2)/(-14). Are w and 1/6 equal?
False
Let a = 1878 + -2729. Is a <= -5954/7?
True
Let y be (-4)/6 + 0/(-2). Let l = 34.026 + -34. Let s = l + -0.026. Which is smaller: y or s?
y
Let i = 342 + -375.4. Let h = 8.6 - i. Let z = h - 41. Which is smaller: z or -7?
-7
Let q be ((-3)/(-9))/((15/36)/5). Let k be 89/q + -7 + 0. Which is smaller: 16 or k?
k
Let l(v) = -v**2 - 26*v - 44. Let d be l(-26). Let i be (-68)/(-10) - (d - -49). Which is smaller: i or 3?
i
Let a = -0.08 - -0.31. Let s = 4.77 + a. Let k be (-3 - -5)/(3/1). Are s and k unequal?
True
Suppose -6*c + 16 + 8 = 0. Suppose 5*p - 40 = 4*f - 0*f, c*p - 32 = -f. Let u(b) = 4*b - 11. Let r be u(5). Do r and p have the same value?
False
Suppose 5*r - o + 4 = 3*r, -12 = 2*r - 3*o. Let n be 9 - 8 - (-117633)/(-102384). Let l = -1/1264 - n. Which is greater: l or r?
l
Let m = -6 + -3.5. Let n = 6.5 + m. Let z = 0.09 - 0. Are z and n non-equal?
True
Let g(a) = 1041*a - 4161. Let b be g(4). Suppose -s - 4*u = -u, -u = 2*s. Suppose -3*k - k + 24 = s. Which is greater: b or k?
k
Let r = -916 - -925. Suppose -139 = -5*i + 26. Suppose -2*z = -5*z + i. Which is smaller: z or r?
r
Let s be (102/12 - 7)*(-6)/9. Let b = 10 - 13. Let q be b - (-2 - -3)*-1. Which is smaller: s or q?
q
Let p be (45/5 - 3) + (-105806)/17634. Which is bigger: 0 or p?
0
Suppose 245*o - 247*o = 12. Let w(v) = -v**3 - 12*v**2 - 37*v + 10. Let y be w(o). Which is smaller: y or 15?
15
Suppose 26*h + 25723 - 806 = -2019. Do -1037 and h have different values?
True
Let x be (-11)/((-3)/((-3)/(-7))). Let i = -4 + 31. Suppose 16 = i*y - 11. Are x and y equal?
False
Let c = 2 + -2.1. Let f(b) = -51*b**2 - 261*b + 91. Let g be f(-5). Is g greater than c?
True
Let r = 0.03 - 0.18. Let q = 116 - 116.562. Let t = q - -0.362. Which is bigger: r or t?
r
Let q be (66/5)/((312/(-80))/((-4)/(-5))). Are -1 and q equal?
False
Let s = -14515/9 - -1613. Suppose 2*j + 12 = -3*j - 2*k, -5*j + 5*k = 40. Let z be 6/33 + j/22. Is z equal to s?
False
Let j = 769 - 753. Let h = 5 + 4. Let c = h - -7. Is j <= c?
True
Suppose -7*n + 3*n = 0, -4*p + 5*n = -4. Let i be ((-168)/38)/p - (12 - 16). Let h = 20 + -21. Which is smaller: i or h?
h
Let u = -17604/5 + 15192332/4315. Which is bigger: u or 0?
u
Let p(f) = 2*f**2 + 39*f - 31. Let t be p(-21). Let o = t + -41. Is -9 != o?
False
Let y be ((-4100)/60)/(40/48). Is -9 < y?
False
Let k = 91 - 124. Let j = -32.23 - k. Which is smaller: j or 1?
j
Let j(h) = 6*h**2 - 3 - 22*h - 2 - h**3 + 8*h**2 - 22. Let r be j(12). Which is greater: r or -7/4?
-7/4
Let x(u) = u**2 + 8*u + 9. Let a be x(-7). Suppose -4*y - 66 - 152 = a*n, -5*n + 157 = -3*y. Let m = y + 55. Which is smaller: m or -3/13?
-3/13
Let r(j) = -j**2 + 24*j - 13. Let o be r(24). Let g be 16/o*(-9)/(-234). Let b = g - -2164/2873. Which is greater: b or 2?
2
Let m = -3619 - -3618. Is -158 at least m?
False
Let y = 91 + -88. Suppose -5*g - t + 109 = -y*t, -2*t + 38 = 2*g. Is 22 smaller than g?
False
Let x(h) = -38*h**2 - 5*h - 5. Let q be x(-1). Let m = -36 - q. Let n = 23 - m. Which is bigger: 19 or n?
n
Let g = -0.3127 - 0.6673. Are -30 and g unequal?
True
Let w(r) = -3*r - 2. Let n be w(-2). Let z(s) = -2*s**2 + 11*s - 5. Let a be z(n). Which is greater: a or 41/7?
a
Suppose 174 = 26*n + 102 + 98. Suppose 0 = -4*r - 2*f - 196, -r = -6*r - 2*f - 245. Let s = r + 393/8. Which is greater: n or s?
s
Suppose 6*b = 5*b + 2 - 1. Are 2/8109 and b non-equal?
True
Let h = -65.82 - -273.82. Which is smaller: 11 or h?
11
Let j = -971 - -70. Is j at most as big as -1/2?
True
Let p = 28.511 - 0.111. Let c = p - 29.4. Is c >= 5.2?
False
Suppose 2*l - 15 = -3*l. Suppose -x + 0*x + 11 = l*u, -4*x + 4*u - 4 = 0. Suppose 0*k - x = k. Are -2/3 and k equal?
False
Let c(o) = -o**2 + 90*o + 2074. Let d be c(109). Is d < 0?
False
Suppose -17*a = a - 270. Let l(s) = 5*s - 74. Let u be l(a). Which is greater: u or -4/97?
u
Let v = -13.93 + 14. Let o = -2099587/6105 + 3783/11. Let s = -559/1110 - o. Which is smaller: s or v?
s
Let q = 6077.3 - 6055. Let n = -39.2 + 39. Is n != q?
True
Let q = -13.3 + 9. Let y = -246 - -241.7. Let p = y - q. Is 0.06 < p?
False
Suppose -397*s = 64*s - 1846 + 14152 + 21347. Let x be 1/1 + (-366)/5. Is s at least as big as x?
False
Let i be (-40)/(-5) + -11 - -64. Let q be (-2)/(-50)*(-67 + i). Does -1 = q?
False
Let u = -28771 + 28770.751. Is u at least -4/5?
True
Let l(g) = g**3 + 10*g**2 + 49*g + 491. Let d be l(-10). Is d not equal to -15/574?
True
Let y = 2 + -1. Let r = -519044 + 519044.369. Is y less than or equal to r?
False
Let i(z) = 135*z + 6033. Let v be i(-42). Is 344 equal to v?
False
Let n be (0 - 32/(-24))*(-42)/8. Let r(t) = 8*t - 2. Let c be r(-5). Let s be n/(7/(c/(-15))). Which is smaller: -2 or s?
s
Let w = -1703 + 1698. Let k = 1.3 - 0.3. Which is bigger: w or k?
k
Suppose 5*x + d + 278 = 0, -2*x - 3*d - 56 = 63. Which is greater: x or -71?
x
Suppose 11*u - 7940 = -1310 + 2797. Is 857 equal to u?
True
Let t(y) = y - 617. Let n be t(7). Which is bigger: -609 or n?
-609
Let f(m) = 2*m + 2. Let w(u) = 50*u + 5. Let v(g) = 3*f(g) - w(g). Let h be v(12). Is -527 at least as big as h?
True
Suppose -x = 2*k - 2*x + 6, x - 2 = 0. Let r be 84/(-21) - (-10)/k. Let p(t) = -15*t - 187. Let v be p(-12). Is v greater than or equal to r?
True
Let w(u) = -u**3 - 14*u**2 - 11*u - 26. Let r be w(-13). Let g = r + 53. Let v = 431/792 + 8/99. Is g not equal to v?
True
Let y = -5 + 2. Suppose -21*w = -38*w + 34. Let c be y/w*2 - -2. Which is greater: c or -40?
c
Let a = -20382 - -20145. Is -236 bigger than a?
True
Suppose -23*x = -25*x + 12. Let j(w) = -w**2 + 4*w - 4. Let s be j(x). Let u be (2 - 1)/(s/(-336)). Are u and 21 equal?
True