e 1/(-3)*l/645. Suppose 4*g - 4*k + 16 = 0, -2*g + 4*k + 8 = 24. Which is bigger: h or g?
h
Let a = -0.839 + -0.321. Let o = -1.18 - a. Is -0.21 != o?
True
Let h(m) = m**3 + 5*m**2 + 5*m + 4. Let k be h(-4). Suppose 5*p - 3*u = 5, u + k*u = 0. Which is smaller: p or 5/117?
5/117
Let t be (-130)/50*10830/(-4). Is t < 7041?
True
Suppose 0 = -q + 2, -2*k - 18 + 14 = -2*q. Suppose 5*i + 3*a = -13 + 100, k = 2*i + 3*a - 42. Is 17 bigger than i?
True
Let v = 422 + -238. Let u = 9251 + -9066. Which is greater: v or u?
u
Let x = 199735 - 300601321/1505. Let o = x + 7835468/4515. Let b = o + -1711. Which is smaller: 24 or b?
24
Suppose 0 = 3*f + 12, -3*h + f - 193 = 1105. Which is greater: -1304/3 or h?
h
Let v = 0.476 + -10.476. Which is greater: v or -3?
-3
Let h = 2.0461 + -6.1461. Which is smaller: 156 or h?
h
Let c be (19/12654)/(6/16). Which is smaller: 0 or c?
0
Let l(y) = y**3 - 20*y**2 + 18*y + 25. Let v be l(19). Suppose -v = -2*g - 0. Let t be (-6)/(-9)*(-9)/g. Do 11 and t have the same value?
False
Suppose -4*a + 106 + 106 - 208 = 0. Which is greater: a or -5/281?
a
Let n = -37/1914 + -26/87. Let k = 2/11 - n. Let c = -14/2127 - 468/709. Which is smaller: c or k?
c
Let n be (9 + (-1101)/234 - 6) + (-4)/(-6). Which is smaller: n or -2/11?
n
Let q(j) = j - 13. Let k be 1 + (4/(-22) - 78/(-66)). Suppose d + 48 = -3*c - 3*d, 0 = k*c - 2*d + 18. Let o be q(c). Which is bigger: -24 or o?
-24
Let h be (-640)/80 + 1964/246. Is h at least 2/41?
False
Let h be 0/((-6 + -2)/8). Let b be (h/(-3) - 309)*5/(-15). Is b at least as big as 518/5?
False
Let r be ((-27)/((-540)/(-5260)))/((-2)/(-8)). Which is smaller: 2/3 or r?
r
Let z = -0.2147 + -404.8853. Let t = z - -409. Let y be (1/(-3))/((-1)/6). Does t = y?
False
Suppose 0 = 11*x - 3*x - 1160. Suppose 0 = 7*w + x + 114. Which is bigger: -38 or w?
w
Let l be 38/8 + -1 - 2/(-8). Suppose 11*i + l = 7*i. Let n = -3/29 + 128/957. Which is smaller: n or i?
i
Let b = -0.25 + -3.55. Let y = -1607.2 + 1607.1. Which is smaller: b or y?
b
Let y be 2/(-3) - ((-16)/(-12))/(-2). Suppose 4*x + y*x = 4. Let u be (-4)/16 - x/(-2). Which is smaller: u or 13?
u
Let b = -15 + 47. Let i be (b/48)/(3*4/63). Let o = 1 + 3. Is o > i?
True
Let y be 134*(4 + (-64)/13 + (-13)/169). Which is smaller: -11 or y?
y
Let g = -1781 + 1808. Is g != 391/15?
True
Let x be 13 + (-3005)/(-15) + -5. Is 207 at most as big as x?
True
Let h(b) = -b**3 - 67*b**2 + 358*b + 9. Let f be h(5). Which is smaller: -3/77 or f?
f
Suppose 0 = 3*o - 2*v - 16, -o - v + 6*v + 14 = 0. Suppose 4*k = 3*k + o, 5*t - 1 = k. Let x be 4/(-16) + 154/552. Which is greater: t or x?
t
Let c = -26912/31 + 868. Let h(m) = -m**3 + 14*m**2 + m - 12. Let n be h(14). Suppose -9*u = 2 - n. Is c at most as big as u?
True
Let y = 392 + -389. Suppose -5*u - y = -2*k - 16, 2*u - 18 = 4*k. Is 18/17 not equal to u?
True
Let p be ((-12)/10)/((-9)/(-150)). Let z be (18 - 4)/(8/124). Suppose 12*v = -47 - z. Which is bigger: v or p?
p
Suppose 191*i = 58*i + 650 - 3709. Let a be (0 - -1)/(0 + -1). Is i at most a?
True
Let l be (-3)/(-2) - (-54)/4. Suppose -l*c + 148 = -14*c. Is 148 greater than c?
False
Suppose 2*b - 25 = 2*i - 113, 4*i = -3*b + 204. Suppose -i*j + 43*j = 465. Is -93 smaller than j?
False
Suppose -2*b - 5*m + 2*m = 1102, 0 = -b - 5*m - 537. Let s = b + 379. Do -179 and s have different values?
True
Let k = -256 + 385. Suppose -k*n + 20 = -119*n. Is n at most 7?
True
Let v(k) = 4*k**2 + 2*k + 4. Let d be v(-1). Suppose d*h + 21 = 9. Is -0.036 equal to h?
False
Let p(s) = s**3 - 15*s**2 - s + 12. Let w be p(15). Let a be 5 + w/(9/12). Does a = -5/7?
False
Let j be (-4 + 0 + 1)*(6 + -7). Suppose -n - 5*t = -23, -j*n + 2*n + 19 = 4*t. Suppose i = -n*d - 4, 6*d + 5*i + 20 = 3*d. Is d greater than 2/295?
False
Let d = -387 - -1053. Suppose 11*c - d = 214. Suppose c*p = 83*p + 105. Which is smaller: p or -67/2?
p
Let k = 0.1 - -10.1. Let v = k + -14. Let z = v + 0.8. Which is bigger: -4/7 or z?
-4/7
Let x = -70.9 - -72.287. Let v = x + -0.047. Which is greater: 1 or v?
v
Let a be 24/(-16)*4/6. Let q be (24/(-8))/(-7 + 3 - 193). Is q bigger than a?
True
Let p = -0.0489 - -40.9089. Let r = -40 + p. Let n = -0.66 + r. Which is smaller: n or 14/3?
n
Let y be (115/50 - 2) + (-1116213)/(-1890). Which is smaller: 592 or y?
y
Suppose 0 = -m + 1, 8*s - 2*m = 13*s - 267. Which is smaller: 268/5 or s?
s
Suppose -9*o + 2328 = -4*m - 7*o, 0 = 2*m + 2*o + 1164. Which is smaller: -581 or m?
m
Suppose 26*g = 34*g - 24. Suppose 3*h - 12 = 0, 0 = 4*r + g*h + 127 - 91. Which is smaller: -142/11 or r?
-142/11
Let z = 2652 - -100. Let w be ((-30)/20)/(6/z). Is w at least as big as 2/7?
False
Let f = 6199 - 7234. Is f smaller than -1035?
False
Let r = -495 + 894. Let i be (-12)/r + 2/(-7). Let m be (-2)/(20/180 + (-12)/(-135) - 36/(-20)). Which is smaller: m or i?
m
Let n = 0.136 - -0.804. Let k = n + 8.26. Let l = k - 9.25. Are -1 and l non-equal?
True
Let w = -65490 - -3798419/58. Let v be 2/(-6) + 8/6. Is w >= v?
False
Suppose 13*q - 6119 = -997. Suppose q = 16*t - 342. Which is greater: t or 48?
48
Suppose 0 = -3*v + 7*v + 8. Let s be 133/417 + v/6. Suppose 2*x + 2*r - 4*r = -4, -5*x + 3*r - 4 = 0. Which is greater: s or x?
x
Let u be 0 + (-2)/4 + (-28 - 1048/16). Let b(k) = -k**3 + k**2 + k + 2. Suppose 0 = -2*n - 1 + 11. Let r be b(n). Which is greater: u or r?
r
Let d be 66/(((-68)/119)/((-2)/(-7))). Let j be (-14)/42*72/d. Which is bigger: -1/3 or j?
j
Let j be ((-12)/36)/(5/(-3) - -2). Is j bigger than 10/359?
False
Let j(y) = -2*y**2 - 62*y - 156. Let r be j(-21). Which is greater: -2 or r?
r
Let d = -140 - -143. Suppose -4*h = i - 3, -d*h = -7*i + 3*i - 26. Is i equal to -15?
False
Let f = -14548 + 14546. Is f not equal to 2/419?
True
Let r(j) = 2*j**2 + 5. Let w be r(3). Let t(h) = h**2 - 23*h - 3. Let x be t(w). Let n be (15/(-275))/(x + 14/5). Is 0 smaller than n?
True
Let r be (-8)/6*(-9)/30. Let a = 13.3 - 4.3. Let p = a - 30. Which is greater: r or p?
r
Suppose -9*d + 23489 = 23489. Is d greater than or equal to 9045?
False
Suppose -9 = -4*w - 1. Suppose -w*z + 0 = -2. Let y be 3/(-6)*(-39)/(-6) - -3. Which is bigger: z or y?
z
Let p be 92/(-14) - 180/(-315). Let s(l) = l**2 - 4*l - 4. Let y be s(5). Let a be -1 + (y/3 - 16/p). Is 8/9 at least as big as a?
False
Let d = -140/19 + 7465/1026. Let b = d - -214/2457. Is -1 bigger than b?
False
Let i be (((-1)/6)/1)/(20/(-55)). Let j = 127/120 - i. Are j and 0 equal?
False
Let y = 148 + -144. Suppose 0 = 3*q + 4*z - 512, 0*z - 848 = -5*q - y*z. Which is smaller: -0.1 or q?
-0.1
Let q = -90.4542 + 90.48. Which is smaller: q or -1?
-1
Let b = 123 - 90.6. Let s = b + -32.3. Do -141 and s have the same value?
False
Let j = 0.06 - -2.94. Let k = 119280 - 119280.48. Is k greater than j?
False
Let c = -3/80111 + -1201437/6088436. Suppose -y = 4*y. Is y equal to c?
False
Suppose 0 = -5*b + 3*j - 232, 0 = -b - 3*b - j - 189. Let h = b + 66. Let x = 6049/3 - 1997. Is x < h?
False
Let t = 21 - 21. Let g(c) = 9 + 1 - 2 + t + c. Let s be g(-6). Is s smaller than 0?
False
Suppose 43942 + 47433 = -103*h - 18011. Is h at least -1061?
False
Let h = 455 + -40493/89. Let i = -766 - -768. Which is smaller: i or h?
h
Let b be (-2 - 36/(-15)) + 275684/59940 + -5. Is 1 greater than b?
True
Let y = 25 - 19. Let d(j) = j**2 - 11*j + 31. Let w be d(y). Is w less than 2/155?
False
Let y = 11111/2 - 432917/78. Which is smaller: 6 or y?
y
Let n = -124 + 216. Let t = n + -91.26. Let v = t - -3.26. Which is greater: -4/9 or v?
v
Let v be 90/4*56/10. Let u = v + -623/5. Do u and 2 have different values?
True
Let q = -11 - -12. Suppose -2*u = -5*u + 3*w + 33, 0 = 4*u + 2*w - 50. Let s be 3 - u/16 - 1. Is s <= q?
False
Let c be 20/18*10/250*15. Let p be ((-16)/(-28))/4*1. Which is greater: c or p?
c
Let t(j) = -6*j**2 - j + 56. Let p be t(23). Let f be 3 + p/915 - 6/(-15). Let a = -498/305 - f. Which is smaller: -1 or a?
a
Let o be 1597/6 - (-347 + 349). Is o greater than or equal to 265?
False
Let n(b) = -b**3 - 17*b**2 - 16*b - 20. Let r be n(-16). Let z be (-15)/r - (1 + (-50)/8). Is z at most as big as 5?
False
Let q = 0.01 + 4.79. Let d = -9.2 + q. Let x = 4.5 + d. Which is greater: 10 or x?
10
Let d = -582.31 - -633.31. Let w be (3/(-5))/((-6)/(-4)). Which i