2?
True
Let q(o) = 125*o + 337. Let x be q(-7). Let c = x - -537. Are c and -40/37 equal?
False
Suppose -107*a - 143*a = -1000. Which is smaller: a or -171?
-171
Let h be 23/6*1324/20191. Is h at most as big as -2/3?
False
Let y(l) = l**3 - 10*l**2 + l - 6. Suppose 29*t = 28*t - 50. Let h be ((-2)/(4/10))/(25/t). Let r be y(h). Which is greater: r or 5?
5
Let l be (-55)/40*4 - 3/2. Let b = -5.4 + 6.4. Which is smaller: b or l?
l
Let b = 18.14 - 17.94. Which is smaller: b or -121?
-121
Suppose -2*f = 5*h - 2*h + 786, 2*f - 1326 = 5*h. Let q = -3311 + 3047. Is h at least as big as q?
True
Let m be 2/(-1 - (-22)/26). Let w(p) = -p + 1. Let b(r) = r**3 + 11*r**2 - 28*r + 6. Let t(u) = -b(u) + 2*w(u). Let z be t(m). Does -5 = z?
False
Let f be (14/(-231))/(14/91) - 1/(-3). Is f at least as big as 1/80?
False
Let g be 2334/774 - 9/3. Let h(d) = -5*d - 9. Let s(w) = 2*w + 20. Let n be s(-11). Let r be h(n). Do g and r have different values?
True
Suppose -5*y + 4*g - 88 = 0, 9*g - 6*g - 6 = 0. Suppose -10 = 6*d - 70. Let h(r) = -3*r + 14. Let m be h(d). Is y at least m?
True
Let a be (23 - 15) + (((-752)/(-73))/(-2) - 2). Is a equal to 0?
False
Suppose 4*c + 0*v + 3*v + 18 = 0, -3*c + 5*v = 28. Let o(q) = q + 7. Let r be o(c). Let x be 72/1116 + (-1128)/186 - 188/(-30). Is x at least as big as r?
False
Let c = 1.1 + -14.1. Let s = 81912 + -81904. Which is smaller: s or c?
c
Let c = 55893/4 - 13974. Let m = 65/259 - 4/37. Is c at most as big as m?
True
Suppose 9*y + 1 = -8 - 0. Which is bigger: -1/2863 or y?
-1/2863
Let h(m) = m**3 + 15*m**2 + 3. Let d be h(-15). Suppose -d*x = 0, -74 = -6*g + 4*g - 5*x. Is g greater than or equal to 0?
True
Let z be ((-174)/(-116))/(4/((-8)/6)). Which is smaller: z or 292/5?
z
Suppose 30*d + 28 = 4*b + 26*d, -4*b - 4*d + 68 = 0. Suppose 4*o + 0 - 4 = 0. Let a be o/((-3)/39*-1). Which is smaller: b or a?
b
Let r = 1595 + -1654. Which is smaller: -21 or r?
r
Let t(n) = n**3 + 30*n**2 - 47*n + 306. Let b be t(-32). Does -240 = b?
False
Let q = 39268 + 37727. Let f = q + -4232472/55. Let i = -208/5 + f. Which is smaller: 0 or i?
i
Let v be (-3)/4 - 6/24. Let f be v + (1 - (4 + -25)). Let u be 52/2 + -6 + 32/8. Is u bigger than f?
True
Let b = 11 + -40. Let a = b + 40. Let j = 211 + -213. Is j <= a?
True
Let h = -159/58 - -4431/1537. Let n = 12419/88510 - h. Which is smaller: 0 or n?
n
Suppose 0 = 4*b - 12, 3*b + b + 48 = 5*a. Suppose 1 = i - a. Suppose 2*r + 5*v + i = 4*v, -5*v + 13 = -3*r. Which is smaller: r or -7?
-7
Let r = 1/100 + -2051/100. Let v = -700 + 678. Which is bigger: r or v?
r
Let r = 1.4 - 0.9. Let k = -334.17 - -334. Let s = 0.03 - k. Is r at least s?
True
Let o be (192 + -1)*(-62 - -92). Which is bigger: 5728 or o?
o
Let h = -42 - -62. Let d = -249 - -253. Suppose -j - 72 = -5*j + w, 2*j - 36 = -d*w. Is h equal to j?
False
Suppose 141*i + 15770 = -45*i + 20*i. Which is bigger: i or 1?
1
Suppose -4*v + 172 = 4*n, 42 = -3*n + 5*v + 131. Suppose -48*a - 710 = -n*a. Which is greater: a or 1/2?
1/2
Suppose 0 = -2*f, -55 = -5*v + 5*f - 3*f. Suppose -2*t = 2*l - 82, 10 - 150 = -4*t + 2*l. Suppose -5*x = 4*o - t, 3*o + 0 - 30 = -4*x. Is v smaller than x?
False
Let j(k) = -4*k**2 - 67*k + 89. Let m be j(-18). Which is bigger: m or 10/2719?
10/2719
Suppose -256*r + 6192 = -272*r. Which is smaller: r or -391?
-391
Let q = -1775 - -1634. Let b = 166 - 22. Let k = b + q. Which is bigger: k or 26?
26
Suppose -69 = 399*i - 398*i. Is -69 >= i?
True
Let k(z) = -6*z - z + 4*z + 9. Suppose -43 = 21*r - 106. Let c be k(r). Is -20/19 > c?
False
Suppose 5*k - 582*q + 22530 = -580*q, 0 = 5*k - q + 22535. Is -4508 < k?
False
Let v = -79675 - -1954427753/24530. Which is bigger: v or 0?
v
Suppose 126 + 90 = -18*h. Let b be 1860/(-651)*(-14)/(-3). Is h at most as big as b?
False
Let f = -18371 - -459406/25. Which is smaller: 0 or f?
0
Suppose 4 = 7*q - 10. Suppose 0 = 4*j - y + q*y + 4, -4*j + 4*y + 16 = 0. Suppose 6*k - k = 85. Which is smaller: j or k?
j
Let p be 1*(2 + 0 - 3/(-147)*-119). Suppose -3 = -3*z - 0. Which is bigger: p or z?
z
Suppose 5*m = -c + 28, c + 3*c - 3*m = 204. Let p be 1/8 + 282/c. Suppose 0 = -p*k + 85 + 203. Which is bigger: 49 or k?
49
Let w be (2 + (-148)/70)/((-7562)/(-10945)). Which is smaller: -1 or w?
-1
Let l be 1 - ((-298)/(-6) - -1). Suppose 329*m + 7462 + 14238 - 5250 = 0. Is l greater than m?
True
Suppose 2*z - 2*o - 10 = 0, 4*z + 2*o - 22 = 7*o. Suppose -5*l = -z*h - 12, -4*h = 3*l + 1 + 15. Which is smaller: l or 3/119?
l
Suppose -6*c - 3*k = -c - 59, 0 = -4*c - 3*k + 49. Let v be (-633)/(-5) - c/(-25). Is 129 at most as big as v?
False
Let i = 10352 - 10352. Which is bigger: i or 6/7129?
6/7129
Suppose -22 = w - 4*g - 33, 17 = -5*w - 4*g. Which is smaller: 1/1448 or w?
w
Suppose -i + 320*n + 24 = 324*n, 5*n + 4 = 3*i. Suppose -12 - 2 = z. Let b be (-10)/z + i/28. Which is smaller: b or 2/323?
2/323
Let y = 20 - 60. Do y and 6/7 have different values?
True
Let l(b) be the first derivative of b**3/3 + 3*b**2 - 8*b + 2. Let z be l(-8). Let t = 59 - 50. Which is bigger: t or z?
t
Let a be 33/(6699/(-1064)) + (-12)/(-2). Is 2 at most a?
False
Let n = 751/270 + 106801/3780. Let p = n + -103/4. Is p smaller than -0.1?
False
Let i(o) = 109*o**3 + 4*o**2 + 6*o - 2. Let t be i(3). Let w = -18179/6 + t. Let d = 35 + w. Which is bigger: d or -2/15?
d
Let o = 43.87 - -0.63. Let a = o + -44.3. Is a at most as big as -136?
False
Let m be (-51 + 78/(-6))*(-10)/56. Which is greater: m or 0?
m
Let y = 32/703 + 1661/9842. Suppose -3*q + 11 + 1 = 0. Let s be (4 + -2)*q/20. Which is bigger: y or s?
s
Let a = -310.9 - -321.9. Are a and -124 non-equal?
True
Suppose 41*i - 8*i - 186099 = -90*i. Which is greater: i or 1512?
i
Let g(a) = 31*a - 161. Let c be g(5). Let d be 17/102 - 1/c. Let w = -8 - -7.7. Which is greater: d or w?
d
Suppose 5*x + 0*x + 1740 = 0. Let z be 2*(-4*(-1388)/64)/((-16)/32). Which is smaller: z or x?
x
Suppose -9*u + 3*j = -10*u + 30, -u - 4*j = -32. Suppose -14*g = -2*g + u. Is -22 <= g?
True
Let l = -7045 - -7045. Which is smaller: l or 9592?
l
Let n = 838/273 - 40/13. Which is bigger: n or 1?
1
Let r = 15817/79185 - -4/15837. Suppose -192 = -3*l - l. Is r >= l?
False
Let a = -325 + 256. Let p = a + 68.9. Let c = -0.05 + 6.05. Are c and p nonequal?
True
Let c(k) = -2*k**2 - 309*k - 914. Let w be c(-3). Which is greater: -124/23 or w?
w
Let u(s) = -s**3 + 13*s**2 - 20*s - 27. Let j(q) = -q**3 + 13*q**2 - 20*q - 25. Let m(v) = -3*j(v) + 2*u(v). Let l be m(11). Is -1/218 smaller than l?
False
Suppose 2736 = 44*i - 40*i + 4*c, 1380 = 2*i - 2*c. Let q = i + -688. Which is smaller: q or 3/205?
q
Let p be ((-2)/6)/(14 + (8 - (-335)/(-15))). Is 2/4761 < p?
True
Let l be (-9)/(-90)*8 + 9508/(-10). Let b = 869 + l. Which is smaller: b or -85?
-85
Let t be 1 + -1 + -3 + (-10)/(-2). Let w be 0 - t/(-10) - 33/40. Which is smaller: w or 0?
w
Let f(y) = 37*y**3 + 8*y**2 + 6*y - 2. Let j be f(-2). Let h = -177 - 103. Which is greater: h or j?
j
Suppose -3*f + 8 = -2*l + 31, f = 4*l - 21. Suppose -k - 88 = l*b + b, 0 = 2*b - k + 38. Let j = -0.9 + -0.1. Which is bigger: b or j?
j
Let d = 84.82 + -82. Let v = 7.82 - d. Do -0.47 and v have the same value?
False
Suppose 3*u + 2 = 4*u. Let k be (-24)/28*(-3 + 10). Let p be k/80*(2 - (-28)/(-24)). Is p bigger than u?
False
Let w(c) = 21*c - 4*c**2 - c**2 - 9*c + 0*c**2 + 20. Let n be w(-8). Let u be n/(-209) + (-2 - 0). Is 0 bigger than u?
True
Let p be (1524/(-69) - 3) + ((-24)/92)/(-3). Let f(j) = -j**3 - 5*j**2 - 4*j - 6. Let n be f(-4). Let o be (39/n)/((-2)/(-8)). Which is smaller: p or o?
o
Let w = -122551 + 122565. Let j = -2.5 - 0.5. Is w greater than or equal to j?
True
Let o be (-1 + 48)/((-14)/(-378)). Suppose -7*w = o + 838. Do -300 and w have the same value?
False
Let q = 967 - 965.626. Which is smaller: -3 or q?
-3
Suppose 5*c + 6 - 23 = -4*a, -5 = -5*c. Let k = 13 + -13. Suppose k = w - 0*w - a. Is 6 bigger than w?
True
Let u = 112 - 36. Let x = u - 72. Let y be x + (8475/423)/(-5). Which is bigger: 0 or y?
0
Suppose 0 = 148*b - 141*b - 217. Suppose -37 = -6*u + 5*u. Suppose -3*y + u = -56. Is y less than b?
False
Let s = 7.001 - 7. Let l = -596.019 + 596. Let p = s - l. Do 4 and p have the same value?
False
Let i(o) = -52 + 19*o + 15*o - 2