+ (-5 - (-2)/8). Is -25/7 bigger than g?
True
Suppose 4*d - 951 = g, -2*g - 571 - 620 = -5*d. Which is greater: 241 or d?
241
Let n be (46/(-115))/((-1)/70). Let a = 28 - n. Which is smaller: 8/83 or a?
a
Let o = -20.6 + 20.741. Let x = o - 96.141. Is 0.1 less than or equal to x?
False
Let h = 770 - 773.83. Let u = 196.83 + h. Which is greater: u or -1?
u
Suppose -259 = -3*n + 458. Suppose n = 4*d - 1253. Let y = d + -1505/4. Which is smaller: -2 or y?
y
Let i be (-70)/(-12)*35994/140. Which is smaller: 1501 or i?
i
Let m = 1128 - -472. Suppose -m = -8*k - 8*k. Suppose 5*g + k + 50 = 0. Is g less than or equal to -31?
False
Let w(d) = d**2 - 6*d - 10. Let c be w(8). Let r be c/4 - 11/22. Let u = 0.9 - 0.935. Which is bigger: u or r?
r
Suppose -3*g + 5*b + 6 = -12, b + 8 = 5*g. Which is greater: g or 42/193?
g
Let f(a) = -2*a**3 - 16*a**2 + 20*a. Let k be f(-9). Let o be (-3)/((-2942)/4 - (-17 - k)). Do o and 0 have the same value?
False
Let o = -209419970931839/23892 - -8765275857. Let n = o + 1/2172. Let h = -32.9 + 33. Is h not equal to n?
True
Suppose 0 = u - 2*u - 2. Let z(b) = -2*b + 27. Let d be z(13). Suppose 4*v - d = -2*t - 3*t, 3*v = -4*t. Which is smaller: v or u?
u
Suppose 36 = 2*b - 6*v + 2*v, -2*b + 72 = 5*v. Let y = -34 - -36. Suppose 4*j = t + t + 96, -y*t = -8. Is b less than or equal to j?
True
Suppose 319 + 364 = 52*y - 825. Is y smaller than 179/6?
True
Let i(z) = 898*z - 3612. Let c be i(4). Let x be 152/(-10) - (-4)/20. Does c = x?
False
Let w = -138 + -382. Let z = -519.89 - w. Which is smaller: z or -4?
-4
Let l be 5 + (-5 - (-1856)/(-456)) + 4. Is -1 at least l?
False
Let j be ((-1656)/(-90))/(-1 + 8/10). Let i be (-12 + 3)*j/(-60). Do -13 and i have the same value?
False
Let i = -857 - -5981/7. Let b = 471/175 + i. Let c(p) = p**3 + 8*p**2 - p - 7. Let a be c(-8). Is b at least as big as a?
False
Let v = 3698 + -8039449/2174. Which is smaller: -0.4 or v?
-0.4
Let g = -59 - -39. Let j = g + 21. Let q be (-6 + 5 - j)/2. Which is smaller: 1 or q?
q
Suppose 0 = 3*h, 2*q = -3*q + 2*h + 1795. Suppose -11 = -q*v + 360*v. Is v greater than -8/5?
False
Suppose 3516 = 3*w - 1053. Are 1521 and w nonequal?
True
Let z be (-8 - (-99)/11)/(1/(-7)) + 63/9. Let m be (-3)/(-9) - (-2)/(-6). Let d be (-45)/21 + m + 1. Which is smaller: z or d?
d
Let b = -134 + 133. Let a be -6*(-2)/(-4188)*3. Let d = -3111/3490 + a. Which is bigger: d or b?
d
Suppose 3*t = -118 - 476. Let h = 4895 - 5092. Which is greater: h or t?
h
Let d = -3/10 + -111/5. Let h = -2561/114 - d. Let z be 1/(-2)*(-2 - 0). Which is smaller: z or h?
h
Let o be 2/(-4)*(185 - 193). Let a be (20/(-15))/((-2)/6). Suppose -r = -3*m - 17, 5*r + a = -4*m - 6. Is r at least o?
False
Let p(z) = -z**2 - z - 1. Let b(j) = j**2 + 17*j + 69. Let o be b(-7). Let i be p(o). Is 5 < i?
False
Let u be (-132496)/(-35476)*(-2)/(-12) - (-4)/(-6). Which is greater: -1 or u?
u
Let w(k) = -95*k - 665. Let y be w(-7). Is 7.55 <= y?
False
Let d = -10600 - -21990. Are -1 and d nonequal?
True
Let i = 27 + -27. Suppose i*w = -3*w - 6, 0 = -4*k - 5*w + 134. Let c = k + -143/4. Is c equal to -4?
False
Suppose 23*b + 40 = 18*b, -4*f - b = 48. Which is smaller: -316/33 or f?
f
Suppose 83*z = 80*z + 15. Suppose 2*o = -4*y - 18, y - 20 = z*y. Let k be -1 - (-1)/89*91. Does o = k?
False
Let n(y) = -3*y**2 + y**3 - 16 + 28*y - 2*y**2 - 4*y**2 + 26*y**2. Let j be n(-15). Which is smaller: j or 15?
j
Suppose -4*x = 3*y - 24, y - 47 = -3*x + 6*y. Suppose 0 = -2*u - 5*c, u - 8*c + 6*c = -x. Let s = -6 - 0. Which is bigger: u or s?
u
Suppose -68 + 48 = -y + i, 4*i - 16 = 0. Is 377/15 >= y?
True
Let u = 3895 + -27269/7. Is u less than -2/13?
True
Let g = 138 - 160. Let n = -1216/13 - -19397/195. Let q = n + -19/3. Is q < g?
False
Suppose -8*q = -10*q + 5*v + 1379, 4*v - 644 = -q. Is 689 smaller than q?
False
Let s be -24 + 0 - (-2 - 0). Let z be (17 - 28)/(3/(-2) + 1). Let k = z + s. Which is greater: k or -2/145?
k
Let f = 628 + -338. Let y = -306 + f. Which is bigger: y or -9?
-9
Let z be (6/(-6))/78*((-154)/(-10))/7. Which is greater: -1 or z?
z
Let s = -15647 - -11489. Which is smaller: s or -4159?
-4159
Suppose -38*g + 83*g - 17473 = -128*g. Which is bigger: g or 499/5?
g
Let v be 6/(10 - (-5272)/(-528)). Is v less than or equal to 1982/5?
True
Let v(a) = 6*a - 59. Suppose -4*u + 60 = 2*u. Let r be v(u). Is -7/38 > r?
False
Let w = 3 - 1. Let i(d) = -6*d**3 - 2*d + 9. Let s(v) = -7*v**3 - v**2 - 2*v + 9. Let g(m) = 6*i(m) - 5*s(m). Let c be g(5). Is w less than or equal to c?
False
Let r = 664 + -445. Let u = r - 318. Is -99 at most u?
True
Suppose -143 = 103204*c - 103191*c. Let z be ((-4)/(-8))/(3/(-70)). Is z smaller than c?
True
Suppose 7*o + 125 = 48. Let j(k) = 2*k**3 + 20*k**2 - 23*k - 10. Let m be j(o). Which is bigger: -3/94 or m?
m
Let k(z) = -4*z**2 + 15*z - 37. Let x be k(3). Let a be x/(-21)*6/(-20). Is a less than or equal to -2/63?
True
Let p = 84 - 126. Let o be ((-1904)/p)/((-2)/(-3)). Let s = -67 + o. Is s at least 2/107?
True
Let d(k) = 3*k**2 - 31*k. Let q be d(0). Is q not equal to 17/44?
True
Let b be (-34)/(-255) + (-23)/(-15) - (-6790)/66. Which is smaller: 104 or b?
104
Let w be 24/15*40/(-18). Suppose 4*c - 20 = 0, -2*m - 3*m + 3*c = 45. Let q be 897/(-138) + m/(-4) + 0. Which is bigger: w or q?
w
Suppose -4*j + 5 + 25 = -2*p, -j + 25 = -4*p. Suppose -71 = j*r + 4*s, 5*r - 3*s - 15 = -58. Suppose 3*h = 4*h + 1. Which is smaller: h or r?
r
Suppose 2*o + 2 = -2*k, -o + 0*k + 4 = -4*k. Let p be -2 - (o + -5) - (7 + 0). Let h be (-198)/(-644) + p/14. Is h greater than or equal to -1?
True
Let z(m) = -3*m**3 + 3*m**2 + 18*m - 5. Let s be z(3). Let y = 67 - 26. Suppose 5*q + 8 = 33, 0 = 4*o - 5*q + y. Which is bigger: o or s?
o
Let g = 1624 + -2588. Let x = 151978 + -1359106/9. Let p = x + g. Are p and 2 unequal?
True
Suppose -9*p - 2*p = 55. Let b be 2 + (p - -4) + 20/(-56). Is 1 != b?
True
Let x(d) = 755*d + 74. Let m be x(-2). Which is smaller: m or -1434?
m
Suppose -4*k - 569 + 551 = 3*h, 5*k - 3*h - 18 = 0. Which is greater: -13/896 or k?
k
Let t = 26241/7 + -3749. Is -17 less than t?
True
Let d be (-9)/18*32/(-39696). Which is smaller: d or -1?
-1
Let l = -0.036 - 0.964. Suppose 0 = z - 7*d - 111, -5*z + 4*d + 102 = -4*z. Which is greater: z or l?
z
Let t = 842 + -15161/18. Suppose -7 = -3*l - x, 0*l + l - x - 9 = 0. Suppose -l*d = -3*c, 4*d + 3*c = 3*d. Which is smaller: t or d?
t
Suppose u = 9*o - 6*o - 501, 5*u + 3*o + 2523 = 0. Is -2021/4 bigger than u?
False
Let b = 19544 - 19480. Which is greater: b or 1457/23?
b
Let g = 49 + 37. Suppose 4*o + 22 - g = 0. Suppose 12*v = o*v + 20. Is 3 at least as big as v?
True
Let v(z) = -z**3 - 5*z**2 - 4*z + 7. Let o be v(-3). Let p(a) = -9*a - 18. Let r be p(-6). Let q be 2*(3/r)/(-1). Is q smaller than o?
True
Let t(g) = -g**2 + 22*g - 348. Let v be t(13). Let u = v - -12009/52. Let r be (3 + -3)/(2*1). Which is smaller: u or r?
u
Let j = 82 + -64. Let y be (20/6)/((-12)/j). Let x(m) = m**3 - 9*m**2 - 10*m - 5. Let k be x(10). Do k and y have the same value?
True
Suppose -2*w = -3*a + 1427, 2*a = 2*w + 828 + 600. Which is smaller: -713 or w?
w
Let q = -1214 + 1214.051. Is q smaller than 2.4?
True
Let p = 2.79 + 151.21. Let y = p + -240. Let u = -87 - y. Which is greater: 1/21 or u?
1/21
Let g = 38.38 + 0.62. Let d = -4667 - -4631. Let a = g + d. Is a smaller than 0.01?
False
Let g(j) = 105*j + 14. Let r be g(-2). Let c = r - -411/2. Do -3 and c have the same value?
False
Suppose 0 = -5*s + 3*o + 3516, -4*s - 4*o = -s - 2127. Suppose 163*w + s = 148*w. Which is smaller: w or -48?
-48
Let w(d) = -d**3 + 27*d**2 - 52*d - 90. Let n be w(28). Is -2330 less than or equal to n?
True
Let m(l) = -l**3 - 6*l**2 + 31*l + 39. Let h be m(-9). Suppose 2*b + 224 = -3*d, -79 = -4*d + h*b - 372. Is -72 greater than d?
True
Let w(u) = 22*u**2 + 946*u + 99. Let g be w(-42). Which is smaller: -826 or g?
-826
Let v = -5333 - -5333. Is v >= -154/195?
True
Let i be 5 + 0 - ((-868735)/(-56) - 7/56). Is i > -15508?
False
Let p = -12461 + 24897/2. Do p and -12 have different values?
True
Let n = -1278 + 1289. Which is smaller: n or 4?
4
Suppose -4*p = 5*z - 274, -7*p + 338 = -2*p + 4*z. Is 54 != p?
True
Let k = -18.94 + 19.94. Which is bigger: -5/153 or k?
k
Let