 - (-82)/123. Which is smaller: 0 or g?
0
Suppose -7*q + 393 = -4*z - 4*q, -q + 99 = -z. Let p be 2 + 0 - z/(-24). Is p at most -13/8?
True
Let r = 0.03929 + -0.01669. Is -0.09 smaller than r?
True
Suppose 11*g + 52 = 110*g - 245. Which is bigger: -1108 or g?
g
Let f = 67 + -62. Suppose 3*t - f = 4. Suppose 2 = 2*h - t*u, -2*u + 0 + 2 = -3*h. Do 9 and h have the same value?
False
Let p(x) = -338*x + 111. Let j be p(-13). Let t be 636/j*35/2. Which is smaller: 3 or t?
t
Let k = -0.36176 + -0.09424. Is -0.15 bigger than k?
True
Suppose -5*x + 5*i - 25 = 0, -4*x - 65 = -0*i + 5*i. Let t be (x/3)/(17/(-306)). Is t < 60?
False
Let t(u) = -2*u**2 + 114*u - 336. Let r be t(3). Let o = 3209 + -22551/7. Which is smaller: o or r?
o
Let r = 10 + -10. Suppose -q + 15 = -z, 2*q - q + 2*z - 3 = r. Suppose 2*b = -3*o - 15, -5*o = b - 0*b + q. Is -2 > b?
True
Let j(c) be the second derivative of c**4/12 - 3*c**2/2 - 18*c. Let t be j(3). Let y(g) = -g**3 + 7*g**2 - 4*g - 10. Let q be y(t). Which is smaller: -1 or q?
-1
Let s be 10/(-2175)*((-176)/55 - (-3 - -1)). Which is smaller: 0 or s?
0
Suppose 52*l = 2*w + 53*l + 155, -l - 235 = 3*w. Is w != -1365/17?
True
Let h(y) = 1127*y - 3381. Let r be h(3). Is r greater than or equal to -562?
True
Suppose -71*m = -2*a - 70*m - 2294, 4*m - 3421 = 3*a. Which is smaller: -1152 or a?
-1152
Suppose 4*n + 29*z - 2108 = 33*z, 5*n - 2623 = 2*z. Is 3670/7 less than n?
False
Let g(m) = 2*m**2 - m. Let q be 144/(-56) - (-8)/14. Let d be g(q). Which is bigger: d or 9?
d
Let u = -1360 - -1360. Is u not equal to 14/345?
True
Let t be (-96)/168*(-77)/2. Let f(c) = c**2 - 22*c. Let q be f(t). Let s = 0 - -0.2. Which is bigger: s or q?
s
Let o(n) = 3*n**3 - 51*n**2 - 26*n + 132. Let t be o(18). Which is smaller: 629 or t?
629
Let t be (-10140)/(9 - 19) - -14. Which is smaller: t or 4115/4?
t
Let z = -6647 + 59725/9. Let p(o) = -11*o**3 + 3*o - 2. Let s be p(1). Which is smaller: z or s?
z
Let v = 73 + -104. Let r(m) = -m**3 - 5*m**2 - m - 5. Let s be r(-5). Let t(q) = -q**2 + 6*q - 32. Let k be t(s). Is k greater than v?
False
Suppose 15*t - 8*t = 28. Suppose -30*y = -28*y - t. Suppose 3*h - 4*h + 3 = 0. Is h less than y?
False
Let k be (-173 - -178) + (0 - (-3803)/(-762)). Which is smaller: -1 or k?
-1
Suppose 5*i = 9*i + 80. Let c be (-920)/(-12)*(-8)/i. Let p = -30 + c. Which is greater: p or -1?
p
Let b = -23883 + 20755. Is -3128 < b?
False
Let l = -657 + 656. Let y = -2129790 - -78817513/37. Let p = y + -413. Is l equal to p?
False
Let s = -220.107 + 219.8. Which is smaller: s or 0?
s
Let s = -22.1507 - -1.1907. Is s greater than 0.1?
False
Let j be ((-384)/(-375) - 1)/(27/(-18)). Let p = -1 - 0. Which is greater: p or j?
j
Suppose -2*l = 10, -3*h = 2*h + 3*l + 125. Let m = 6 - -117. Suppose -5*c = -4*p - 82, p - m = 6*p + 4*c. Which is bigger: h or p?
h
Suppose 4*y + 4 = -6*t + 2*t, 4*y + 2*t + 6 = 0. Let g be 7/y*(84/(-49) - 0). Suppose 2*d - 2*b = 26, -3*b - 2*b - 47 = -3*d. Does g = d?
False
Let f = -41.715 - -42.545. Which is smaller: -34 or f?
-34
Let m be 3/36*4 - (-20)/(-6). Let b = m - -17/4. Which is bigger: 2 or b?
2
Let i = -7840 + 7840. Which is bigger: i or -31/197?
i
Let d be (-2 - (-36)/16)*0/(-19). Is d at most -22/2459?
False
Suppose 97*o - 90*o - 231 = 0. Let f = o - 172. Do f and -140 have different values?
True
Let z(h) = 34*h + 2. Let m be z(2). Let o = 38 - m. Let a be (16/o)/((-26)/(-16)). Which is greater: -1 or a?
a
Let s = -31.13 + 31. Let b = -0.13 - s. Let h(d) = -53*d + 4260. Let w be h(80). Which is greater: b or w?
w
Let o = 46940/3 + -2519113/161. Let w be 0 - 3 - 4/(-2). Which is bigger: o or w?
o
Let o = 1324/609 + -50/21. Let k = 268393 - 116751016/435. Let r = o - k. Is 1 at least r?
True
Suppose -17*z - z - 1689 = -735. Which is smaller: -61 or z?
-61
Let n = -293/42 + 50/7. Let y = -42451.71 + 42452. Does y = n?
False
Let l(u) = 3*u**3 + 8*u**2 + 37*u + 47. Let a(r) = 2*r**3 + 5*r**2 + 24*r + 31. Let z(m) = -8*a(m) + 5*l(m). Let d be z(-2). Which is smaller: d or 108/13?
108/13
Let m = 38 - 50. Let d(y) = 3*y - 10. Let t be d(m). Let b = t + 139/3. Which is smaller: b or 1?
b
Let b = -195394/33 - -5922. Suppose 8 = -66*k + 74*k. Which is smaller: k or b?
b
Let m = -1225/2232 - -2/279. Do 0.1 and m have the same value?
False
Let m = 109.938 - 110. Let s = -58.938 + m. Is 1 equal to s?
False
Suppose -50*f + i + 3055 = -46*f, 2*f - 4*i - 1552 = 0. Which is bigger: f or 765?
765
Let c(n) = -n**3 + 8*n**2 + 8*n - 5. Let o be c(10). Let p = -126 - o. Which is smaller: p or 10/27?
p
Let r = -0.05185 + 0.35185. Does -766 = r?
False
Let t = 28787 + -201510/7. Let o(w) = -w**3 + 4*w**2 - 4*w + 2. Let h be o(2). Suppose -h*x = -1 - 1. Which is bigger: x or t?
x
Let j = -2 - -1. Suppose -3*g = -2*z + 70 - 15, 2*z - 50 = 2*g. Suppose 21 = c + z*c. Which is smaller: j or c?
j
Let a = -20487/100 - -819/4. Let d(s) = -s**2 - 5*s - 3. Let m be d(-4). Is a < m?
True
Let h = 232 - 402. Let p = 169 + h. Let r(y) = -6*y - 3. Let t be r(3). Which is smaller: t or p?
t
Let x be (7*93/21 + 3)*-4. Do x and -80 have different values?
True
Let d = -22145513854/1965 + 11269981. Let y = -2/393 - d. Let c = -116 - -116. Which is smaller: c or y?
c
Suppose 30*w + 24456 + 2304 = 0. Let p = -920 - w. Which is greater: p or -29?
p
Let n be -12 - -22 - (-1 - -1 - -10). Is n less than -11/115?
False
Let d be 1 + ((-8)/14)/((-2)/7). Suppose -4*l + 96 = -10*l. Let m be d + 92/l + 3. Is m less than 0.03?
False
Suppose g = -2*r + 12, 5*r = -374*g + 373*g + 27. Suppose -12 = -p - 6. Which is bigger: p or r?
p
Suppose 25*z = -1392 + 1417. Let g = -1037/7 + 149. Are z and g nonequal?
True
Suppose 0*v + 5*v + 155 = 0. Let q = v + 33. Suppose -3*o = 2*r + q*r + 11, 2*o + 12 = -5*r. Is -2 > r?
False
Let i be (-9)/(-12) + 18/8. Suppose i*z - 100 = -15*b + 10*b, 15 = 3*b. Are 24 and z equal?
False
Let h be (-1)/(34/70 + (-12)/42). Let q be (-54)/408 + h/(-20). Suppose 0 = 7*x - 3*x. Is x at most as big as q?
True
Let v be (8 - -2 - 1)/(-1). Let u(w) = 11*w**2 - 65*w - 1. Let k be u(6). Suppose 108 = k*q - 17*q. Is v less than q?
False
Suppose 2*j + 10 - 14 = 0. Let a be (-41)/(-287) - (8/7 - j). Does 82 = a?
False
Let w(b) = -2*b**3 + b**2 + 4*b + 3. Let t be w(-2). Let s = -49429/116 + 12785/29. Is s >= t?
False
Suppose 4*q + 253 = -2*n - 337, 5*q + 598 = -2*n. Which is smaller: -286 or n?
-286
Let u be ((388/(-104) - -2) + 2)*-12018. Let v = 588977/182 + u. Let q = -2/91 + v. Is 0 less than q?
True
Let g(z) = z**3 - 22*z**2 + 24. Let v be g(22). Let i be (-24*v/(-224))/((-2)/14). Which is greater: i or -21?
i
Let s be 2 - 7/(9177/2628). Let n = 611 + -592. Suppose 15*g - n*g = -4. Which is greater: s or g?
g
Let a be 8*1*(-187)/(-4). Let j be a/(-1360) - 2/16. Which is smaller: 160 or j?
j
Let v(p) be the first derivative of p**4/4 + 10*p**3/3 - 8*p**2 + 41*p + 103. Let q be v(-12). Which is bigger: -56 or q?
q
Let k = 1822.2 - 1729.2. Is k at most -30/7?
False
Let k(g) = 15*g + 58. Let h be k(-20). Let y = -199 - h. Are 2 and y equal?
False
Let i = 571/2013 - 2/183. Let u(w) = -2*w**2 - 14*w + 17. Let r be u(-8). Is i greater than or equal to r?
False
Let f = -2817 + 1124. Is -1694 < f?
True
Let c = 3093.7 - 3065. Which is greater: c or 2?
c
Let i = 10083 + -9999. Which is smaller: 98 or i?
i
Let j(m) = -55*m + 2326. Let u be j(61). Is -1029 != u?
False
Suppose 2*g + 114 = 2*n, 21*n - 321 = 16*n - 4*g. Suppose -251 = 4*u + n. Which is greater: -74 or u?
-74
Suppose -2*o - 2*y + 7*y - 2199 = 0, -3*o + 3*y - 3276 = 0. Let j = o + 760. Let q = -683/2 - j. Which is bigger: q or -16?
q
Let v(o) = 2*o**2 - 244*o - 734. Let d be v(-3). Which is smaller: -8 or d?
-8
Let z = 0.55 - 0.45. Which is bigger: z or 2644?
2644
Suppose -20*m = -16*m + 16*m + 1160. Is 9 smaller than m?
False
Let k be 329/2 + -1 + 3/6. Suppose 0 = -5*y - k - 116. Let i = y - -52. Is i less than or equal to -3?
True
Suppose 37*w + 5*w + 14014 = 16*w. Which is smaller: w or -535?
w
Let p = -692 - -699. Suppose -5*c + p*k + 2651 = 3*k, -3*k = -c + 528. Is c != 532?
True
Let z(h) = 6*h + 88. Let y be z(-11). Let v be 4/y - (-10)/(-55). Let u be (1/(-38))/(3/4). Is v greater than u?
True
Let c = -46/7817 + -9941890/226693. Which is smaller: c or -43?
c
Let m(r) = 111*r