 + 5*g + 23 = 0. Suppose 0 = 3*o - 0*o - 3. Is b greater than or equal to o?
True
Suppose 3*y + 3*n - 4 = 5*n, -5*y = 4*n - 14. Let a be y/(-3)*6/8. Let t = -20 + 98/5. Is a less than t?
True
Let p(o) = o**3 - 6*o**2 + 6*o - 4. Suppose -3*f + 3 = -12. Let t be p(f). Which is bigger: 1/15 or t?
t
Let k be (-54)/399 - 22/77. Is k equal to 0?
False
Let v(x) = -x**2 - 20*x - 14. Let z be v(-17). Let t be 22/(-55) + z/5. Let k(w) = 2*w**3 - 15*w**2 + 8*w - 6. Let h be k(t). Which is greater: -8 or h?
h
Suppose 3*f + 12 = 4*c, 3*c + 5*f = 4*c - 20. Let w(p) = -p**2 + 41. Let a be w(c). Is 39 greater than a?
False
Suppose 48*c - 30 = -30. Which is bigger: c or -3.14?
c
Let r be ((0 - 8) + 6)*410/4. Is -205 bigger than r?
False
Suppose -2*m + 3*m + f = -832, -4152 = 5*m + 7*f. Is -834 less than m?
False
Let p = -123/7 - -587/35. Let l = -17383 + 17383. Which is bigger: l or p?
l
Let n = 2707 + -2379. Is 329 less than n?
False
Let x = -2651 + 2651. Let b(w) = -w**2 + 5*w + 7. Let o be b(6). Let m be o/15 + 3/(-15). Is m greater than x?
False
Let o be 0 - -2 - 578/(-17). Let n = -32 + o. Suppose 0 = -4*r + 2*j + 8, 2*r - 2*j - n = 2*j. Is r less than -3/10?
False
Let p = 2890438 + -333409132864/115349. Let q = 318132588/2653027 + p. Let j = -120 + q. Is j at least as big as -3?
True
Let g(a) = 37*a**2 + 57*a - 204. Let v(q) = -13*q**2 - 19*q + 68. Let c(k) = 6*g(k) + 17*v(k). Let y be c(-23). Are 22 and y nonequal?
True
Suppose -15*t + 16*t + 4 = 4*v, -4*v = 2*t - 4. Which is greater: t or 4/663?
4/663
Let n be -4*(-4)/16 - (-2 + -2). Which is smaller: n or 6?
n
Let f be ((-80)/130)/(2/(-45)). Is f not equal to 15?
True
Let l = 7.2 - 4. Let t = -0.2 + l. Let x = t - -2. Is x greater than 0?
True
Let y = -236/11 + 14473/671. Which is greater: y or 1?
1
Let h = -161 - -200. Is h >= 13?
True
Suppose -4*b + o + 491 = 1, 0 = 4*o + 8. Let j be -1 + (-3)/((-354)/b). Let g = j - 181/118. Are g and -1 nonequal?
True
Suppose 2*q - a = 2*a - 194, 4*q = 5*a - 390. Which is bigger: q or -101?
q
Let i = -1012/3591 - 2/513. Suppose -4*m + 31 = -3*c, -2*c + 0*c + 2 = 3*m. Let v be (-3 + (2 - 0))/(-4 - c). Is v equal to i?
False
Let x = -0.02 + -29.98. Let h = -85 - x. Which is smaller: 2/7 or h?
h
Let a(s) = -s**3 + s**2 - 10*s - 9. Let o be a(4). Is o greater than -95?
False
Let u = -716 - -643. Is u smaller than -287/4?
True
Let r = -16 - -49. Let t = 33 - r. Is t bigger than 18?
False
Let v be -2*(5 - 1 - 6). Suppose 3*l - 6 = -2*x, l + 2*l = -4*x. Do l and v have the same value?
True
Let a be (-27 - 1)*(-1133)/412. Suppose 3*c = 2*r + 106 + 114, -164 = -2*c - 3*r. Is c greater than or equal to a?
False
Let v be 0 + (-9)/(-10) + -1. Suppose 12*g = 9*g. Suppose 6 = -6*w - g. Which is smaller: v or w?
w
Let b = -4.4 - 1.2. Let d = -8.6 - b. Which is greater: -1 or d?
-1
Let l be 3*(0 + 746/6). Let j = 3353/9 - l. Let t = 8531 + -8532. Which is greater: t or j?
j
Let n = -21.55 + 2.65. Let s = -19 - n. Let i = 13.1 + s. Is 1/3 <= i?
True
Let t = -337/105 + 16/15. Suppose -3*d - 446 + 437 = 0. Is t at most as big as d?
False
Let k = 467 - 549. Which is bigger: k or -83?
k
Suppose 4*g + 3*r = 230 - 82, -3*g = r - 116. Which is smaller: g or 38?
38
Let i = -1100 - -1102. Which is bigger: i or 3?
3
Let c = 684 - 883. Is c greater than or equal to -199?
True
Let r = 0.37 + -0.339. Is -5 smaller than r?
True
Let h be 18*(-8)/(-696)*4. Which is smaller: 0 or h?
0
Let l = 419 + -373. Is 1 <= l?
True
Let n be -10*6*4/16. Let l = -4 + 2. Let b be (-12)/l*2/n. Is 0 != b?
True
Let l be 2 + 0 + 12/(-4). Let y be (125/(-140) - l)*24. Which is smaller: y or 2?
2
Suppose 27 = -5*k - v, 4*k + 31 = -k - 3*v. Which is smaller: -168/43 or k?
k
Let z = 33678/7 + -4820. Which is bigger: z or -10?
z
Let o(n) = n**3 - 2*n**2 + n + 2. Let u(t) = t**3 - 25*t**2. Let a be u(25). Let m be o(a). Is -2 bigger than m?
False
Suppose 86*z - 18 = 68. Is z at most 2/1411?
False
Let h = -28 + 32. Suppose 3*m - 7 + 1 = 0. Suppose -m*q + 10 = -h*q. Which is smaller: -4 or q?
q
Let a be (-4 + (-3)/(-1))*4. Is -65/14 smaller than a?
True
Let h(g) = -g**3 + 7*g**2 + 10*g - 12. Let k be h(8). Suppose 33 = -p + 5*s, k*s - 38 = 4*p + 30. Is 0.1 greater than p?
True
Let u be -4*(-4)/24*(-2385)/105. Which is smaller: u or -15?
u
Let n be 1/(-4) - (-10)/(-24). Let c = -18.7 - -1.7. Let m = c - -23. Is m bigger than n?
True
Suppose 9 = -3*k + 2*c - 1, -2*c + 10 = -2*k. Is k less than or equal to -2/81?
False
Let o be -99 + 100 - (-51)/4. Does o = 13?
False
Let w be (-32)/56*14/(-1692). Let o be (-2)/(-7) - (-6)/(-21). Which is smaller: o or w?
o
Let k = -2336 - -2340. Is 1.4 less than or equal to k?
True
Let a = -31.8 + 163.8. Let y = 131.97 - a. Is 0.2 at most as big as y?
False
Let b(m) = -31*m**2 - 12*m - 6. Let p be b(-3). Which is greater: -248 or p?
-248
Let c = 0.289 - 61.289. Which is smaller: c or -0.1?
c
Let d = 1416015/377 - -33443/87. Let a = d + -4141. Let g = a + 41/39. Is -1 less than g?
True
Suppose -4*a = -6*a + 2*y - 4, 3*a - y = -12. Which is greater: -3/7 or a?
-3/7
Suppose 9*a + 9 = -9. Let u be (62/36 + a/9)*-10. Which is smaller: u or -13?
u
Suppose -18 = 4*x - x. Let f be 332/6 + (-4)/x. Let z be (-350)/f*(-2)/(-5). Is -4 <= z?
True
Let p be (-7194)/540 - 4/(-40) - 1. Is -13 bigger than p?
True
Let j = 165.6 + -166. Which is smaller: 3 or j?
j
Let c = -45 - -40. Let o be ((-550)/c)/(2/20). Let u be -4 - (o/(-276) + 0). Is u less than -1?
False
Let r(z) = z**3 - 6*z**2 + 12*z - 16. Let n be r(4). Which is greater: n or -1/207?
n
Suppose -2*s + 20 = -4*k - 0*k, -3*s + 22 = -4*k. Suppose 0 = s*g - 5*g - 48. Let h = -14 - g. Which is greater: h or 1?
h
Let w = 20 - 17. Suppose r + 5*p = 4*r - 59, -4*r + 4*p = -76. Suppose -3*s - 3*x = -0*x - r, x - 12 = -4*s. Is w > s?
True
Let i(y) = -y**2 + 12*y - 10. Suppose -5*s - 3*u + 64 = 0, 0 = 3*s - 6*s + 5*u + 18. Let x be i(s). Is x not equal to -20?
True
Suppose -2*p + 1 + 5 = 0. Let m be p + 7/((-364)/(-664)). Let z = m + -16. Which is smaller: z or -1?
-1
Let d(k) = 50*k - 100. Let x be d(2). Which is bigger: x or -1/94?
x
Let g be (5 - 4/(-8))*-2. Is -11 not equal to g?
False
Suppose 6*r + 635 + 367 = 0. Let j be r/519 - 14/(-42). Are j and 1 nonequal?
True
Suppose 2*m - 51 = -x - 0*x, 4*x = m - 48. Let k(v) = -2 + 29*v**2 + 9 - 12*v - m*v**2. Let q be k(11). Is -3 smaller than q?
False
Let w = 150 - 269. Let y = -119 - w. Which is smaller: y or 3/5?
y
Let r = 40/9 - 2111/477. Which is smaller: -1 or r?
-1
Let p = -169/252 + 417/28. Is p equal to 15?
False
Let b = 0.12 + -35.12. Let x = -11 - -11.1. Which is greater: x or b?
x
Let y(m) = m**3 + 8*m**2 - 21*m - 10. Let d be y(-10). Is d bigger than -1/239?
True
Let a be (1/(-3))/((-10)/2130). Is a at most as big as 70?
False
Let j(r) = -r**2 - 9*r + 1. Let f be j(-9). Let q = -1/3 - -1/6. Which is smaller: f or q?
q
Let t(i) = 6 + 0 + 1 - i. Let s be t(8). Let n be (2 - -2) + s + 4. Is n smaller than 8?
True
Let g = -268 + 268.3. Is g > 11?
False
Let g = 0.284 + -0.054. Let j = g + -0.3. Let c = j + -0.03. Is 4/9 != c?
True
Suppose 7*w - 4*w = -66. Let c = w + 36. Is 11 > c?
False
Let z be ((-3680)/44)/5 - (-1 - 1). Let j = z + 2128/143. Let n = -3/2 + 3/4. Which is smaller: j or n?
n
Let p = -70 + 619. Is p smaller than 2/9?
False
Let p = 8 + -8. Suppose z + 21 = 2*j + 6, p = -5*j + 3*z + 35. Let h be (1/41)/(5/j). Which is smaller: h or 1?
h
Let h be -3 - 388/(-8) - 3. Let a = h - 42. Do -0.1 and a have different values?
True
Suppose 2 = -o, 3*y + 3*o = 8*o + 70. Let n = y - 20. Let i be n*3*(-2)/(-18). Are i and 0 nonequal?
False
Suppose 0 = -2*u + 5*u + 5*p + 23, 3*p + 17 = -5*u. Is 5.1 >= u?
True
Let k(y) = 2*y - 10. Let l be k(5). Suppose u = l, -3*u + 15 = -2*v - 21. Is -18 equal to v?
True
Let c be ((-2)/9)/(11/561). Let r = -12 - c. Let k = 29/48 + r. Which is smaller: 1 or k?
k
Let b(f) = -f**2 - 29*f - 80. Let l be b(-28). Does l = -51?
False
Suppose 7*r = 2*r - 320. Which is bigger: -61 or r?
-61
Suppose 0 = u + 3*y - 1, -u - 4*u + 5 = 2*y. Let w be -2 + (-5)/((-285)/126). Let x = 74/171 - w. Are u and x equal?
False
Suppose 0 = -2*m + 5 + 7. Let o(c) = 7*c + 3. Let j(t) = 20*t + 8. Let v(k) = 6*j(k) - 17*o(k). Let q be v(m). Is 3 >= q?
True
Suppose 5*j - 30 = -5*q, 2*j = 4*q - j + 