 240*j + 1578. Let l be s(7). Is l < 388?
False
Suppose -93*w + 37*w + 45*w - 17853 = 0. Is w bigger than -1623?
False
Let c(y) = -y**3 - 20*y**2 + 32*y + 73. Let u be c(-22). Let j = u - 332. Is j greater than or equal to -53?
True
Let y(a) = 105*a - 174. Let k be y(6). Let z = 460 - k. Is z at most -4?
False
Suppose -4 + 4 + 0 = 90*y. Is -8/781 greater than y?
False
Suppose -5*q - 39 = -5*b + 11, 2*b - 28 = 4*q. Is -6 less than q?
True
Let x = 53 + -51. Let p be (-2 + ((-33)/(-6) - x))/(-6). Is p less than -50?
False
Suppose -5*m = -f + 149, -4*m - 123 = 3*f - 0*f. Let w(i) = -i**3 - 9*i**2 - 10*i - 13. Let o be w(-8). Let d = o - m. Do d and 34 have the same value?
False
Let k = 2279 + -2381.05. Let w = k - -102. Which is greater: w or 0.5?
0.5
Let t(l) = -5*l - 11 + 6*l + 14*l - 14*l. Suppose 0*j = -j + 2. Let w be t(j). Which is greater: w or -41/5?
-41/5
Let v be 2/(-20) + 99/(-110). Which is smaller: 4 or v?
v
Let h be (-270)/(-243)*(-1)/(-15). Let t = 0.2 + -0.1. Let z = 0.9 + t. Is z != h?
True
Let h(b) = 51*b**3 + 16*b**2 + 43*b + 4. Let p be h(-4). Is 0.1 at most p?
False
Let w = -22.063 + 31.08. Which is smaller: 1 or w?
1
Let j be (13 - 5 - (-3)/3) + -19. Is -79/8 at most as big as j?
False
Let q = 5.7 + -6. Suppose 3*l = -6*n + 99, 18*l - 16*l - 3*n - 38 = 0. Which is smaller: l or q?
q
Let o be ((-13083)/(-3087))/(1/(-48)). Are o and -204 equal?
False
Let h = 979 - 981. Let y = 28.88 + -29. Which is smaller: y or h?
h
Suppose -4*f - 5454 + 1410 = 4*s, -3*s - 2993 = -5*f. Which is smaller: s or -4021/4?
s
Suppose 16 - 10 = 2*z, -2*k - 3*z + 3275 = 0. Is k less than 1635?
True
Let r = 3/16886 + 16176773/84430. Which is bigger: r or 0.3?
r
Let g be 7/98*6 + (-748)/14. Let q be 4 - 52 - 4 - -1. Which is smaller: g or q?
g
Let k = 191.61357 - -0.02643. Let s = -197 + k. Let n = s + 5. Which is bigger: 2/7 or n?
2/7
Let x be 68 - 2/((5/10)/1). Let r = -108 + 171. Which is greater: r or x?
x
Let b be (-6)/316*(-4)/3. Let y = -3106157844/869 - -3574404. Let r = y - b. Is 0 at most as big as r?
False
Let c(x) = 7*x**2 - 193*x + 111. Let j be c(27). Let g be (-80 + 2)*3/(-60). Which is smaller: g or j?
j
Let y = 20042 + -60065/3. Is y at least as big as -0.31?
True
Let n = -1005 + 4120. Is n less than -2/3?
False
Suppose 30*s - 120*s = -44*s - 31*s. Suppose 2 = -0*q - 2*q. Let f = s + q. Which is greater: 2/85 or f?
2/85
Let l = 4147/17854 + -18/79. Which is bigger: l or 3/5?
3/5
Suppose 95*c - 30*c = 45*c - 18080. Which is bigger: -902 or c?
-902
Let c be ((-36)/(-10))/(5*(-33)/3850). Let j = 529 + -615. Is c bigger than j?
True
Suppose -4012 + 50556 = -8*f. Is -5818 bigger than f?
False
Suppose 2*k - 4*o = 4*k - 540, 4*o - 1356 = -5*k. Let n = k - 274. Do 92 and n have different values?
True
Let t(f) = f**2 + 2*f - 6. Let b be t(0). Let y be (b - -8) + -4 + 4. Which is smaller: y or -13?
-13
Suppose -v = 2*x - 15, 88*v - 93*v = 2*x - 83. Suppose 0 = -23*b + 155 - v. Suppose -4*z + 7*k + 40 = 2*k, 5*k - 5 = -5*z. Is b at most as big as z?
False
Let s(n) = -19*n. Let t be s(-4). Let w = 1235 + -1375. Let k be t/19 - w/(-34). Which is smaller: k or -2?
-2
Let x = 836 - 8118. Which is smaller: x or -7280?
x
Suppose -30*r - 108 = 72. Let k = -0.6 + -0.4. Which is smaller: k or r?
r
Let f(l) = 2*l**3 + 69*l**2 + 7*l + 26. Let o be f(-34). Let i = 12278/13 - o. Which is smaller: i or -0.13?
-0.13
Let l be (234/(-8))/((-6)/16). Let q be (-3159)/l + 5/2. Is -38 smaller than q?
False
Suppose -111 - 32 = 4*m + 205. Let t(c) = -c**3 + 9*c**2 + 13. Let k be t(10). Is m greater than or equal to k?
True
Let t be 28/4 + ((-327)/(-12))/((-13839)/3555). Which is bigger: 1 or t?
1
Let s(f) = f**2 + 5*f + 7. Suppose 2*l - l = -2*u + 4, -4*u = -2*l. Suppose 0*a - l*a - 2*y = 6, 7 = -3*a - 5*y. Let r be s(a). Which is bigger: r or -7?
r
Suppose -28*j = -7*j + 90*j - 333. Let l = 77 - 28. Is l less than j?
False
Suppose 4*u - 10*w + 6*w = -128, -3*u - 104 = -5*w. Which is smaller: u or -162?
-162
Let j = -325 + 333. Suppose j*b - 729 = -193. Which is smaller: 66 or b?
66
Let o = 2130 + -2125. Which is smaller: o or -421?
-421
Let f = 5.253 - 4.253. Which is bigger: 1358 or f?
1358
Suppose -5*y - 3*d = -1294, 0*y - y = -3*d - 266. Let k = -261 + y. Is -57 at least as big as k?
False
Let w = -23 - 44. Let t = 3040.8 + -2974. Let p = t + w. Which is smaller: -1/2 or p?
-1/2
Let n be 11 + 3 + (-29848)/2135. Which is bigger: n or -1?
n
Let p(u) = -u**2 + 5*u - 6. Let h be p(4). Let y be 1*h/3 - 88/(-24). Let z be (4/(-6))/(y/(-675)*2). Is 74 at most as big as z?
True
Let y = 1387357/35028 + -11/556. Let n = 295/7 - y. Is 3 equal to n?
False
Let x be (-2)/4*(-8)/(-14)*49/(-14). Which is bigger: -36/127 or x?
x
Let y = 7297.105 - 7297. Is -1/19 >= y?
False
Suppose 0 = -3*j - 3*q + 7*q - 11, 0 = -2*j + 4*q - 14. Suppose 72 = -j*o - 5*v, 5*v + 43 = o - 3*o. Which is bigger: o or -88/3?
o
Suppose 4*w = v + 34, 0*v - 19 = v - w. Let y be v/(-8) - 7/(28/3). Let l = 3 + -6. Which is bigger: l or y?
y
Let s be ((-238)/595)/(12/42 - 704/210). Which is smaller: s or 2/73?
2/73
Let o = 474 + -643. Let y = o + 177. Is -7 >= y?
False
Let c be 3/4 - (-94479)/(-114884). Is 1 greater than c?
True
Let g = -1.04 + -58.96. Let z = -494.24 - -496.24. Is z less than or equal to g?
False
Suppose 0*l = l. Let b = -1006/33 - -187/6. Is b bigger than l?
True
Let m = 107014 + -106898.211. Let t = 0.211 + m. Let h = 115.7 - t. Is h at most as big as -1/18?
True
Let z = -41.4 - 8.6. Let h = 49.1 + z. Let j = h - -1. Are 0.1 and j equal?
True
Suppose 14*d - 513 = 1601. Let k = -140 + d. Which is greater: k or 5?
k
Suppose -8 = -d - 0*o + 3*o, -3*o = -4*d + 14. Suppose -d*w + 10 = 2. Let c = -1547198 - -1547197. Is w < c?
False
Suppose -65*j = -46505 + 16831 - 30516. Is j at most 0.4?
False
Let p(g) = -55*g**3 + g**2 - g - 2. Let h be p(-1). Suppose -s + c = h, -2*s + 7*c - 112 = 6*c. Is -58 smaller than s?
True
Let u = -109536/17 + 6441. Does -1 = u?
False
Suppose 987*t = 1014*t - 864. Let k be (-3)/1 - -39 - 3. Which is greater: k or t?
k
Let f be (-11 - 115)/(3/(-12)). Let x be f/(-3995) + (-3)/((-153)/6). Is -1 > x?
False
Let g = 1/57 - -7006/285. Let n = 439529/12890 + 2/1289. Let j = n - g. Which is smaller: 10 or j?
j
Let g = 6343 + -9546. Are -3203 and g equal?
True
Let y(d) = -207*d**2 + 58*d - 12. Let i be y(4). Which is greater: -3096 or i?
i
Let s(x) be the second derivative of -x**4/12 + 127*x**2 + 64*x. Let a be s(0). Which is smaller: a or 255?
a
Suppose -10 = -3*i + 3*g + 38, 5*i = -g + 74. Suppose -2*s = p - i, 0 = -3*p - p + 3*s + 115. Let y be 3/(-12) + (-2716)/(-112). Which is smaller: y or p?
y
Let i(n) = n**2 - 13*n + 15. Let a be i(13). Let w be 32/(-132)*a/2. Let p = -5 + 2. Are w and p equal?
False
Let h be -12 + (14 - 20)/(-1). Is -56 <= h?
True
Let i(f) = 10*f + 59. Let d be i(-9). Let r be (-3)/12 + (-254)/8. Let m = d - r. Which is bigger: m or 3/13?
m
Suppose -96*f - 124 = -98*f. Suppose 2*z = -3*v + 49, 4*z + f = 4*v - 10. Which is bigger: 18 or v?
18
Let l = -512 + 290. Let h be (-2 - 2) + (-1458)/l + -5. Is 2/5 greater than or equal to h?
True
Suppose 5*r + 5 = -15. Let a be (-2)/r + 183/42. Let o(g) = -2*g**3 + 15*g**2 - 8*g + 13. Let m be o(7). Which is smaller: a or m?
a
Let c(d) = d**2 - d - 32. Let b be c(8). Let z = 24 - b. Let t be 3 + 0/3 - 0. Which is bigger: z or t?
t
Let z be (80/(-2308))/(-10)*((-28)/(-4) - 15). Which is greater: z or -1?
z
Suppose 24*z - 13728 = -8*z. Which is greater: z or 432?
432
Let x = -3503 - -3519.045. Let p = x + -0.045. Let y = 14 - p. Which is greater: y or -16?
y
Let n be ((-28)/16)/((-1)/(-8)) - (54 + -50). Let z = 6 + -18. Let q be (z + 3)*(4 + -2). Is n <= q?
True
Suppose 518*n = 435*n + 14525. Are 176 and n nonequal?
True
Let d = -414 - -259. Let w = -924 + 923.9. Do w and d have the same value?
False
Let s(k) = -k**3 + 14*k**2 - 24*k + 41. Let c be s(8). Which is smaller: 3936/17 or c?
3936/17
Let z = -6159 + 2079. Is -2 greater than or equal to z?
True
Let q = 1132 + -1131.9. Let a = 380/9 - 29287/693. Which is bigger: a or q?
q
Let z be 4 - 126/36 - -1*9886/(-19756). Are 1 and z non-equal?
True
Let z be (-10)/(-25) + 1986/(-15). Let p be (5 + z/28)*14/6. Let t = 495/4 + -121. Which is greater: t or p?
t
Let y(