7?
True
Suppose -15221 + 126079 = 35*g - 78667. Is 5415 at least as big as g?
True
Let i(r) = -r**2 + 17*r + 21. Let d be i(18). Suppose -2*l + d*l - 5 = 0. Let q(a) = -3*a + 20. Let k be q(l). Which is smaller: k or 9?
k
Let m = -26 + 32. Let d be (-15)/10*(4 - m). Let w be 17/(-11) + d + -2. Is -1 greater than or equal to w?
False
Let z = 47617/2821 - 9/403. Which is smaller: 1/5 or z?
1/5
Let q = -6315 + 6314. Which is greater: q or 4/1031?
4/1031
Suppose -22*m - 198 = -21*m. Let p = 54 + m. Is -143 < p?
False
Let w(c) be the first derivative of 27 + 33/2*c**2 - 17*c + 2/3*c**3. Let p be w(-17). Are p and 1/81 equal?
False
Let r be (-6)/(-4)*40/60. Let k = r - -3. Let v = 224.7 - 225. Which is bigger: k or v?
k
Let y = -159 + 353. Let i = -186 + y. Suppose -5*n - 3*p + 55 = 0, 2*p = 5*n + 4*p - 60. Is n at least i?
True
Let s be (-1*1)/(10005/(-989)). Let n = -1/29 - s. Which is greater: 0 or n?
0
Let t = -0.01961 - 0.98039. Which is bigger: 6552 or t?
6552
Let g = 3570363/11 - 324347. Which is smaller: 232 or g?
g
Let b(n) = -2*n**3. Let j be b(-4). Let o(z) = 876*z + 127. Let k be o(0). Which is bigger: k or j?
j
Let p be 14861/(-386)*2*(-234)/(-21). Is p != -6008/7?
True
Let o = -1.547 - -1.647. Which is smaller: -108 or o?
-108
Let w be ((-9)/(-12))/((-2)/(-48)). Suppose 0 = q + 5*d + 10, -6 + 8 = -6*q - d. Which is smaller: w or q?
q
Let p(a) = 264*a**2 - 4*a - 4. Let h be p(-1). Let s = h + -285. Let w = -36/121 - 12646/605. Is w bigger than s?
False
Let r(g) = -238*g - 121. Let z be r(0). Let f be ((-1)/(-2))/((-2)/(-16)). Let d be f + (2 - (-724)/z). Which is smaller: d or 1?
d
Let w = -465 + 467. Suppose 3*y - 4*s - 5 = 0, -3*y - s = -w*y + 3. Is y at least -3/244?
False
Suppose 2 = 5*z + 7. Let g be ((-461)/(-31))/(z/133). Let w = g - -1978. Is w < -1?
False
Suppose -2*f - 3*i + 48 = 19, 0 = -3*f + 3*i + 21. Suppose -f*v + 25 + 15 = 0. Let h be ((-12)/180)/(v/(-35)). Which is bigger: h or 1?
1
Let r(z) = -2*z**2 + 31*z + 153. Let m be r(-5). Let a = -1349/26 - m. Which is bigger: a or -1?
a
Let o be -2 + -3 + 2 + (-40)/(-1). Suppose 3*j = 2*l - 4*l + 86, -2*j = -4*l + 140. Let v = l - o. Which is smaller: 6/5 or v?
v
Let w = -8850.9 - -8851. Let i = -0.35 + -43.65. Let q = i - -7. Which is smaller: w or q?
q
Suppose 2*v - 7*v + 26 = -u, -4*u - 56 = -4*v. Let m be (-54)/92 + u*(-12)/264. Which is greater: -10 or m?
m
Let c = -156 - -230. Suppose 67*v - 140*v + 5329 = 0. Which is greater: v or c?
c
Suppose -595 - 349 = -2*o. Suppose 0*s + o = -4*t + 4*s, -t - 3*s - 118 = 0. Is t greater than or equal to -118?
True
Let z(o) = o**3 + 5*o**2 - 6*o - 5. Suppose 2*x + 12 = -0*x. Let p be z(x). Let s be 3/9 + p/15. Which is smaller: s or 1/63?
s
Let h = 179 - 65. Let n = 114 - h. Let r = 702 - 7716/11. Is r less than or equal to n?
False
Let a(l) = -6*l + 46. Let g be a(-13). Let x be 21/(-28) - 9/g*-9. Are x and -1 equal?
False
Let z be ((-3)/(-8))/(7/(-4)*2). Suppose -m + 16 = -5*s, -5*m + 3*s + 71 = 57. Is m smaller than z?
False
Let c(k) = k**2 - 2*k. Let r be c(-1). Suppose -35 = -3*n - 4*l, 8*l - 20 = n + r*l. Which is smaller: n or -7?
-7
Let t(r) = -127*r - 9727. Let d be t(-76). Which is smaller: -87 or d?
-87
Let t = -538 + 541. Suppose 2*n - 5 = t*m, 2*m = -4*n - 18 + 20. Let w = 256/217 + -72/31. Is m != w?
True
Let o = -1.4 + 0.4. Suppose -5*q + 37*q + 4576 = 0. Which is smaller: o or q?
q
Let s = -0.046 - 10.354. Let r = 12.26 - 4.86. Let f = s + r. Which is bigger: -18 or f?
f
Suppose -4*i + 8 = -12. Suppose -4800 = 4*j - 3*n, -3600 = 3*j + 4*n - 3*n. Let f be 2/4 + j/(-320). Which is bigger: i or f?
i
Suppose 81*n - 408 - 602 = -20*n. Which is smaller: n or 127/14?
127/14
Suppose 0 = 16*l - 1062 + 198. Suppose -2*f - k = 105, 0 = -3*f + 8*f - 5*k + 300. Let y = f + l. Do 3/7 and y have different values?
True
Let l = 33 + -3207. Is l smaller than -3174?
False
Suppose -22 = 8*u + 26. Let v be ((-30)/(-450))/((-1)/u). Let m be (-15)/(-40)*(-8)/30. Which is greater: v or m?
v
Let i = -13.053 + 13.053. Does -22673 = i?
False
Let p = -435 + 437. Suppose 4*q = -p*j + 6*j + 12, 12 = -q - 2*j. Is q greater than or equal to -13?
True
Let w(u) = 2649*u + 2082. Let h be w(-3). Is h <= -5866?
False
Let v = 4753 + -4500. Is v <= -1?
False
Let l = -4.2 - -4.339. Let s = -0.039 + l. Let b = 552 - 2771/5. Which is smaller: b or s?
b
Let z be 4/(-1282) + 0 + 0. Let h(n) = -2977*n + 101217. Let l be h(34). Which is bigger: z or l?
z
Let v = 985 - 985. Is v < -9/191?
False
Let f(y) = y**3 - 19*y**2 - 10*y - 17. Let h be f(20). Suppose -h + 7 = -8*l. Is 152/7 less than l?
True
Let u = -21031.99 - -21032. Is -1/17 < u?
True
Let r be (-176)/(-99) - (-4)/18. Let q be 76/190 - 3*r/(-10). Let w be ((-10)/(-20))/(2/(-4) + q). Which is greater: w or 6/5?
6/5
Let g = 36034 + -36034. Which is smaller: -1/189 or g?
-1/189
Let n(r) = 11*r - 30*r + 33 + 21*r. Let m be n(-17). Which is greater: m or -14/47?
-14/47
Suppose -24*a = 216*a - 29520. Are 124 and a equal?
False
Suppose 3*k = -5*j - 359, -2*k = -2*j - k - 137. Suppose 10*z - 6*z = 356. Let g = j + z. Does 19 = g?
True
Let b = -114 + 124. Let p be (15/6)/(b/6)*-4. Let k be ((-10)/6)/((-1)/(-3)). Do p and k have different values?
True
Suppose -4*h = -1 + 57. Let j(z) = -32 + 3194747*z + 11 - 3194750*z. Let l be j(h). Does l = 0.2?
False
Suppose -4*n + 2*t + 451 = -319, -3*t = 21. Which is smaller: n or 200?
n
Let n = 7 - 6.7. Suppose -5*t + 50 = w, 260*w + 2*t - 47 = 265*w. Which is smaller: n or w?
w
Let p be (1032/96 - -14) + ((-2)/(-8) - 0). Suppose 60 = 4*o - 40. Is o at most as big as p?
True
Suppose y = -2*z, 5*z = -2*y + 6*y. Suppose t + t + 2*i = -142, z = 8*t - 4*i + 556. Is t <= -70?
True
Let t be ((-12)/(-32))/(2 - 55/20). Which is greater: t or -114/7?
t
Let a = -1129 - 1382. Is -0.1 greater than a?
True
Let l = -27233/47 + 581. Which is bigger: l or 1?
l
Let n = 5314.63 + -5758.3. Let v = 444 + n. Which is greater: v or 0.1?
v
Let m be 256/320*(-1)/(-98). Which is greater: -1 or m?
m
Suppose 300 = -2*a - 3*o, -4*a + o - 141 = 515. Is a at least -135?
False
Let q(x) = 4*x - 13. Let h be q(3). Let a = -546/2575 - 7/103. Which is smaller: a or h?
h
Let i be 1632/21 - 1*(-4)/14. Suppose -i = 6*w + 1032. Are -186 and w non-equal?
True
Suppose -640*u = -344*u - 314*u - 20178. Is u at most -2239/2?
True
Suppose -386*w = 2*k - 390*w, 4*k = 3*w. Let b be (-38)/88 + 1/4. Which is bigger: b or k?
k
Suppose 74*x = -4*b + 73*x + 9894, 2*b - x - 4938 = 0. Which is bigger: 2469 or b?
b
Let d(o) = -3*o**2 + 6*o. Let n(c) = c**3 - 3*c**2 - 7*c - 9. Let i be n(5). Suppose i*k = 29 - 5. Let s be d(k). Are s and -24 nonequal?
False
Let x be ((-60)/(-245))/(6/21). Suppose 42 = 7*h + 28. Which is greater: h or x?
h
Let x be (4/(-8))/(252/(-792)). Let g = 0.1 - 0.2. Which is greater: x or g?
x
Let c = 4013/34236 + 1/317. Is c not equal to 1?
True
Let r be (-6)/39 - 70480/(-130). Suppose 271 = -l - 5*q, 2*q - r = 2*l - 3*q. Do l and -272 have the same value?
False
Let j(k) = -k**3 + 50*k**2 + 437*k - 124. Let f be j(58). Which is greater: -1692 or f?
f
Let a = 4135 - 4131. Is a not equal to 4/349?
True
Let v(k) = -2*k**3 + 8*k**2 + k - 18. Let d be v(8). Let g be (d/(-4))/((-5 - -3)/(-4)). Let s be (0 - (-120)/g) + (-20)/30. Which is smaller: -1 or s?
-1
Let i = -35349 + 103360475/2924. Which is smaller: 1 or i?
i
Let f(l) = 2*l**3 - 23*l**2 - 10*l - 47. Let x be f(12). Is -284/13 equal to x?
False
Let t = -45 - -68. Let x = 16 + -6. Let l be (22/(-5))/((-2)/x). Which is smaller: t or l?
l
Suppose -61 = -3*k + 4*g, 0*k + 5*g = 3*k - 59. Suppose -q = 21 - k. Let p(s) = -s**2 + 5*s - 5. Let m be p(4). Which is smaller: m or q?
m
Let k be 123/(-9) + -3 + (-32)/(-12). Let f be (k/((-448)/(-120)))/(138/16). Are 1 and f nonequal?
True
Let c be (6 - 4) + (-12880)/504. Which is greater: 1/4 or c?
1/4
Let m(c) = 2*c**2 - 7*c - 9. Let t be m(5). Let x(q) = -q + 7. Let l be x(7). Suppose t*a - 5 + 17 = l. Which is greater: -4/7 or a?
-4/7
Suppose 4 = 4*d, -5*d + 3*d + 2 = -5*q. Suppose -8*a - 6*a + 42 = 0. Let z be 0/a - 14/399. Is q greater than z?
True
Let n be (-161 - -164) + 183*26/3. Are 0.3 and n nonequal?
True
Let d = -5.106 - -5.159. Is -3 > d?
False
Let b(h) = -635*h - 1127. Let g be b(-7). Is 3318 at least