6. Which is bigger: h or -648?
h
Let i = -35.33 - -1.33. Let n = i + 42. Is 2 <= n?
True
Suppose -29*h - 7*h - 12*h - 48 = 0. Which is greater: -102/193 or h?
-102/193
Let x = -4460.5 + 4457. Which is smaller: x or 16/7?
x
Suppose -3*r - 278*n = -274*n + 1896, 3131 = -5*r + 3*n. Which is greater: r or -632?
r
Let w = 46 + -42. Let z(i) = i**3 - 4*i**2 - 3*i + 6. Let j be z(w). Let h be (16/84 - (-2)/j)/(-1). Is h >= 0?
True
Suppose 5*n = -3*p + 3*n - 3, 2*p = -2*n. Let b be 3/18 + p/(-18)*17. Is 17 < b?
False
Suppose -2*c + 24843 = -4*i - 3161, 3*i - 2*c = -21006. Which is bigger: -13995/2 or i?
-13995/2
Let k = 94.49 - -1.51. Let c = 1349032/5 - 269806. Is c < k?
True
Let j = 253 - 137. Suppose -f = 2 - j. Let l be (f/(-27) - -4) + 47/252. Is l not equal to 0?
True
Suppose 0 = 2*y - 5*z + 19, 0 = -4*y + 6*y - 2*z + 4. Let g be 9/y - (-4 + -3 + 8). Suppose 3*v + 5 - 14 = 0. Do g and v have different values?
True
Suppose 0 = 5*o - 3*g - 22, 0 = -3*g - 3 + 6. Suppose -o*w = -71 + 11. Let l be -21*(52/w + -4). Which is bigger: l or -8?
l
Let r be ((-11)/(33/(-2)))/(1/(-21)). Let u be (599060/42798 + r)*3/4. Is u less than or equal to 0?
True
Let t = 3120 - 3257. Is t at most as big as -125?
True
Let t(n) = 47*n**2 - 32*n + 910. Let b be t(15). Do b and 11003 have the same value?
False
Let v = -14147 - -14148. Does v = 12?
False
Let x = 16258.514 - 16259. Are x and -0.1 unequal?
True
Let p be 3/(-15) - (-72644)/(-180). Suppose 4*r = -2*k + 7*r - 818, -1205 = 3*k + r. Let a = k - p. Is a less than 2?
True
Let c be ((-11)/(-33))/(7/19635). Do 5 and c have the same value?
False
Let r = -32 + 6. Let x be (4/r - (-144)/(-78))*-1. Is 47 <= x?
False
Suppose -29*t + 436 = -393 + 771. Suppose 1509 = -5*i + 469. Let g = i - -1255/6. Is g at least as big as t?
False
Let f = -28922 - -28923. Is 1/3095 bigger than f?
False
Let m = 0.1 - 0.3. Let w = m + 0.2. Let y be (26/(-10))/(12 - 928/80) - -6. Is w bigger than y?
True
Let f be ((-9)/(27/1194))/2. Let c = -229 - f. Which is bigger: c or -26?
-26
Let l be (-15*209/99)/(5/(-6)). Let i be 496/12 + (-2)/6. Which is bigger: i or l?
i
Let z be (3 - (-19 - -29)) + 2*-57. Which is smaller: -117 or z?
z
Let s(y) = -y**3 + 5*y**2 - 4*y + 1. Let o be s(4). Let h = o + -1. Let t be ((-5984)/1368 + 4 - (-10)/90)*-1. Are t and h unequal?
True
Let w be -5 - (-214)/(-258)*-6. Is 181 < w?
False
Let u = -4981 + 4815. Is -169 >= u?
False
Suppose -745*n = -740*n - 35. Suppose n*g + 155 + 27 = 0. Is -25 < g?
False
Let x = 0.3611 + -49.3511. Let s = -50 - x. Let q = -0.01 - s. Are 22 and q non-equal?
True
Let s(x) = x**3 + 5*x**2 - 6. Let h(i) = -3*i + 40. Let f(w) = -15*w. Let n be f(-1). Let m be h(n). Let z be s(m). Is -10 bigger than z?
False
Let f = 45472985702/139 + -327140227. Let m = f - 3555. Is -1 not equal to m?
True
Let q(n) = -788*n + 8668. Let x be q(11). Which is greater: x or -35/213?
x
Suppose 262 = 4*k + 82. Let s be ((-22)/(-5))/(18/k). Let l = 8 - s. Which is greater: l or -14/9?
-14/9
Let p(q) = -q**2 + 10*q + 18. Let k be p(0). Let d be k/8 - 75/(-100). Suppose 0 = -4*c + g - 23, -4*c + 10 = 2*g + 36. Which is greater: d or c?
d
Let m = -3210.7 + 3211.3. Do 13/6 and m have different values?
True
Suppose -5*u + 2*o - 395 = 0, -5*u + 0*o - 2*o = 415. Is u at least as big as -408/5?
True
Let h = -4342 - -4337. Which is bigger: h or -0.0394?
-0.0394
Suppose -2*f - 7*f = 9. Let y be (-35264)/760*f*(-2)/8. Which is bigger: y or -12?
y
Let d = -628.7 - -605. Let x = d - -24.2. Which is bigger: x or -48?
x
Let q = -2813 - -2436. Is -380 at most q?
True
Let d be ((-2)/(-8) - -1) + ((-665)/76)/35. Which is smaller: 9/710 or d?
9/710
Suppose p = -16 + 19. Suppose -5*q = 5, -p*q - 5 + 2 = t. Suppose -5*c - 19 + 4 = t. Which is bigger: -4 or c?
c
Let v = -3048.95 + 3049. Which is smaller: v or -57.4?
-57.4
Let i = 16088 + -16128. Is i bigger than -751/19?
False
Let b be -45*((-259)/35 - -7 - (-688)/(-30)). Which is greater: 1053 or b?
1053
Let v(d) = 2*d**3 - 21*d**2 + 14. Let s be v(7). Which is smaller: s or -326?
s
Let j = 15156.39 + -15189. Is j less than or equal to -4?
True
Let g(c) = 17*c + 34. Let f be g(-2). Which is smaller: f or -6/6241?
-6/6241
Let v(a) = 2*a**2 + 2*a. Let i be v(-4). Suppose 65 = 38*b + 4*b + 65. Which is greater: b or i?
i
Let p = 2 + -3. Suppose -14*s + 6*s = 912. Let k = s - -108. Which is greater: k or p?
p
Let y be (4/(-6))/(24/(-324)). Let q be 4*135/20*y. Do q and 243 have different values?
False
Let a = -7.2 + 157.2. Let m = 149 - a. Which is greater: m or 147/8?
147/8
Let u = -8 + -33. Suppose 3511 + 3552 = -99*o + 2806. Is o < u?
True
Let v(n) = n**3 - n**2 + 4*n - 3. Let o be v(3). Let i be (-2)/8 - o/(-36). Let u be (-5)/((-30)/12 + 0) - 1. Is i at most as big as u?
True
Let m = 1556 - 1556.2287. Is m > 1?
False
Let p(r) = -r**3 - 30*r**2 + 28*r - 940. Let k be p(-31). Which is greater: -845 or k?
-845
Let u = 0.7 - 1. Let y = -40782 - -40788.7. Which is smaller: y or u?
u
Let u = 0.12422 + 0.17578. Is -4741 at least u?
False
Let m be 135/((-46)/(-84) - (-10)/(-30)). Suppose -31*h = -13*h - m. Is 33 at most h?
True
Let u be (-6)/21 - (738/(-35) + 4). Let s = -41 + 57. Which is smaller: s or u?
s
Let d = -9.898 + 0.538. Let c = d - -0.36. Let t = c + 11. Which is smaller: t or 3/5?
3/5
Suppose 2*r - 6 = 2*t, -4*r - t - 2*t = -26. Let o be (-2826)/(-27) - (r/3 + -2). Suppose -2*x = -2*i + o - 15, -5*i - 3*x = -249. Are i and 49 equal?
False
Suppose 142 = -3*o + t, 0 = 4*o + 3*t + 270 - 98. Suppose -5*j = -0*j + 235. Is j equal to o?
False
Let d(i) = -470*i + 16112. Let q be d(34). Which is smaller: 98 or q?
98
Let h = -640 - -639. Let j be h*(-1 - -5) - 552/2. Which is greater: 1 or j?
1
Suppose 8*n - 330 = -2*n. Let f be (12/n)/2 - 48/22. Is -16/7 <= f?
True
Suppose -98 + 78 = 5*k. Let p be (k - -7)*(-39)/3. Suppose -y + 27 = -3*i - 93, i - 5*y = -54. Is p != i?
False
Let q(o) = 33*o + 100. Let a be q(6). Suppose -a = -5*b - 463. Is b <= -33?
True
Let k = 242.0177 - 242. Let x = k - 0.1277. Is x > 2?
False
Let g(m) = -4*m**2 - 2266*m - 13451. Let v be g(-6). Let z be 2/7 + 74/280. Which is smaller: v or z?
z
Let r = 65.631 + -66. Let u = r + -1.631. Is u equal to 94?
False
Suppose -4*n - 168*h + 167*h - 5 = 0, 19 = -4*n + h. Which is smaller: -224/79 or n?
n
Let v be (1/(-4) - (3 + 1))*-4. Let b be v + 221/(-13) + -1 + 0. Is 10/149 at most as big as b?
False
Let v(j) = 37*j**2 + 5*j - 10. Let b(p) = -37*p**2 - 6*p + 11. Let l(t) = 6*b(t) + 7*v(t). Let d be l(2). Which is smaller: d or 141?
141
Let y(v) = -7440*v + 655. Let c be y(1). Which is bigger: c or -6784?
-6784
Let t(i) = -i - 1. Let r be t(-15). Let c be (11/2 + -7)/(2/(-20)). Which is smaller: c or r?
r
Suppose 0 = 9*q - 317 - 2014. Is 776/3 not equal to q?
True
Let f(y) = y**2 + y - 8. Let n be f(-3). Let l be n + 7/35*15. Which is bigger: l or 1/75?
l
Let j = -49/9 - -1757/369. Suppose 0 = -4*q - 4*n - 12, -5*q + 7*q + 3 = n. Which is smaller: j or q?
q
Let i(o) be the second derivative of 3/2*o**3 + 0 + 4*o - 1/12*o**4 - 5/2*o**2. Let j be i(5). Is j greater than 17?
False
Let z be 3/(-10) + (-1300347)/510. Let g be (-3)/(z/1284 - -2). Which is bigger: g or -215?
g
Let d(f) = 2*f + 3. Let c be d(-8). Let j = -49/4 - c. Let h = -1 + j. Which is smaller: 8 or h?
h
Let z = -131 + 136. Suppose -z*j + 3*y = -47, 3*j - 2*y = 3*y + 41. Suppose 5*f + 65 = 4*a, 5*f + 4*a = j*a - 65. Is -16 smaller than f?
True
Let y(z) = 2139*z**3 - 3*z - 4. Let a be y(-1). Is -2142 > a?
False
Let y be (-323)/(-13) + (-22)/(-143). Let d = 5 + y. Let j be 4*5/(-20)*32/(-1). Which is smaller: d or j?
d
Let x be 6/24 - (-3 - 1228/16). Let d be (5/14)/((-20)/x). Suppose -4 = 2*q - 0. Which is smaller: d or q?
q
Suppose -23*p = 36*p - 2183. Suppose 4*i + 3*h + 296 = 0, 0 = 4*i - 2*h + 168 + 148. Let c = p + i. Is -39 != c?
True
Let g(j) = 2*j**2 + 3*j. Let i be g(0). Suppose i = 2*f + 56 - 58. Let p be ((-3)/2)/(6 - 255/20). Is p < f?
True
Let a be (-1)/3*(13 + -14)*-3. Are a and -64 equal?
False
Let n = -8.1 - 32.9. Let j = 40 + n. Which is greater: 47 or j?
47
Suppose 0 = 114*o - 3*o - 232 + 10. Which is smaller: o or -681?
-681
Let c(o) = -o**3 - 17*o**2 + o + 17. Let q be c(-17). Is -6/1127 at least q?
False
Let g = 0.14 + 0.84. Let b = g 