e
Let j = -746.84 + 747. Let l be 1 + (72/38 - 3). Are l and j equal?
False
Suppose 830*t = 848*t. Let y = -542/5 - -108. Which is bigger: t or y?
t
Suppose 18 - 20 = -k. Suppose -5*f + k*f + 3 = 0. Let m be (-5)/3*-6*(f - 2). Is -10 greater than m?
False
Suppose -30*w - 651 = -33*w. Let s = w - 104. Suppose y + s = -3*j, 5*j - 5*y + 191 = -6*y. Is -40 at least j?
False
Let x be 17/(-17)*12/(3 + -1). Let j be 145/25 + x - (-119)/25. Which is greater: 6 or j?
6
Let c = 553 - 850. Let x(p) = 81*p + 269. Let v be x(-7). Is v equal to c?
False
Let t = 0.79951 + -0.09951. Which is smaller: t or -14?
-14
Suppose 0 = -13*g - 0*g + 138515. Which is smaller: 10656 or g?
g
Suppose -z = 3*p - 24, 4*z - 4*p = 8 + 24. Let a be (260/z)/(-5) - -5. Is -1 <= a?
True
Let v = -0.362 + -154.638. Let n = 184 + v. Which is greater: -1 or n?
n
Let y = -5/4363 + -1644811/34904. Is y < -46?
True
Let d be ((-258)/215)/((-3)/14). Let o(c) = 8*c + 2. Let z be o(-2). Let y = -8 - z. Is y smaller than d?
False
Let i = 20 - 19. Let r = 430930/13 + -137483752/4147. Let t = -72/29 - r. Is i at least as big as t?
False
Let c be 10/(-35) + (-3)/((-4725)/(-1615640)). Let v = 1026 + c. Is 0 > v?
True
Suppose -k - 3*j - 113 = -3*k, -3*j = 15. Let h be (-6)/10*1715/k. Is -12 at least as big as h?
True
Suppose 0 = z + 14*z + 225. Let p be 1722/70 + z + -3*2. Does 5 = p?
False
Let q = -696/55 + 415927/110. Is 3770 not equal to q?
True
Let w = -0.1 - 0. Let s = w + 0. Let i = 74463 + -74369. Is i smaller than s?
False
Let o(a) be the second derivative of 5*a**4/12 - a**2/2 - 7*a. Let i be o(-4). Let n be (i/(-38) - -2)/(14 + -17). Is -1 at least as big as n?
False
Suppose 170*t = 166*t - 508. Let q = t - -133. Let w = 11 - 5. Do q and w have different values?
False
Let m = 27 - 35. Let s be (1 - m/(-6))/((-10)/(-60)). Let h = 16/7 + -71/28. Which is bigger: h or s?
h
Suppose -1426*r + 1429*r - 3 = 0. Is r > -13/94?
True
Let j(n) = -38*n - 1669. Let a be j(-44). Which is bigger: 40/11 or a?
40/11
Let j(d) = d**3 - 8*d**2 + 8*d + 6. Let o be j(6). Suppose -i + 282 = 291. Which is greater: o or i?
i
Let i = -33.67 - -0.67. Let z = -9220 + 36877/4. Which is bigger: z or i?
z
Suppose -4*k - 299 = -3*p, k + 3*p + 83 = p. Let n be -3*(k/105 + 8/20). Which is smaller: n or 15/19?
15/19
Let h be 2 - (-2 + (-1 - 4) - -6). Suppose -5*k + 3*l + 540 - 106 = 0, 170 = 2*k - h*l. Is k less than or equal to 177/2?
True
Let f be (-6)/(-7)*1911/(-182). Which is smaller: f or -71/8?
f
Suppose 91*c = 62*c + 841. Is c >= -15?
True
Let m = -152042/19 + 8002. Let r(a) = -a**2 - 6*a + 6. Suppose -12 = 3*g + 9. Let o be r(g). Which is bigger: m or o?
m
Let c be -1 - (-3 + (-2)/(-2 - -4)). Suppose -4*u - c*h = 32, 3*u - 2 = 2*h - 26. Let f be 10/3*(0 - 3). Which is bigger: u or f?
u
Let h(s) = 5*s**2 - 285*s - 901. Let i be h(60). Is -4/563 equal to i?
False
Let v = 1689883/38 - 44474. Let f be 519/(-6574)*(5758/(-21))/2. Let r = f + v. Are 7 and r nonequal?
True
Let l be (-4)/(-12) + 34/6. Let u be 9/(-15)*(-63)/7. Is l > u?
True
Let w(m) = m**2 + 32*m - 64. Let c be w(-29). Let j = 122 + c. Which is greater: j or 2?
2
Let q be (-4 - (-512)/6)/((-6)/9). Let d = -75 - q. Which is greater: 0.03 or d?
d
Let i be (2/4)/(73/(-146)). Let r be (209 - (4 + i)) + 5. Is r at least as big as 210?
True
Let c be (-4)/14 - ((-642)/42 + 9). Let r be (-1 + c)*6 - 3/(-3). Is r at least as big as 26?
True
Let b(d) = d**2 - 5*d + 9. Let s be b(4). Suppose -s*x - 2*t = 7, 5*x = 6*t - t. Let w be (384/(-28) - -14) + (-6)/14. Is x less than w?
True
Let v be (197/2 + (-2 - (0 + -9)))*8. Is 3 bigger than v?
False
Let t(u) = -u**2 - 82*u + 1764. Let r be t(22). Do -524 and r have the same value?
True
Let j = 2/37041 + -37051/185205. Which is bigger: 7.214 or j?
7.214
Let g(r) = 2*r**3. Let n be g(1). Let i = 203 + -161. Suppose 2*k - 2 = -n*o - 32, 2*k - 4*o + i = 0. Is k > -18?
True
Let v = -84 + 83.5. Let b = 10 - -6. Let p = -15 + b. Is p bigger than v?
True
Let k = 23 + -21. Suppose y + 6 = -k*y. Let h = 192 - 193. Which is bigger: h or y?
h
Let b = -3691 + 3691. Which is greater: b or -1/3227?
b
Suppose -o + 11 = -5*t, -6*t = -3*o - 3*t + 69. Suppose 4*m - 2*j - o = m, 3*m - 4*j = 22. Let x be (m + -2)/(1/(0 + -2)). Is x less than -18?
False
Suppose -1863 = -40*w - 583. Suppose -2*m + 94 - 34 = 0. Which is smaller: w or m?
m
Suppose -3*t = 24, 27*t + 222 = -5*c + 28*t. Is -47 greater than c?
False
Let q be 360/(-1440)*3*2. Which is bigger: -308 or q?
q
Let q = -43258/3 - -14179. Which is smaller: 1/9 or q?
q
Let y = -1220 + 688. Let f = -530 - y. Let o = -21 - -10. Are o and f nonequal?
True
Let q be (158/(-10) - -14)*2/(-9). Suppose -9 = 3*z - 2*s, z + 13 = 5*s - 3. Let o be (3/4)/(z/(-20)). Which is greater: q or o?
o
Suppose -u + 45 = 2*a, u - 2*a - 29 = 16. Suppose 2 = 5*o - 3. Let z be (2/2)/(o/45). Do u and z have the same value?
True
Let s(x) = 129*x**2 + 3*x + 4. Let q be s(-1). Let r = q - 126. Do -0.7 and r have different values?
True
Let p = 14518 + -14565. Which is bigger: -706/15 or p?
p
Let k = 2303.37 + -2374. Let t = k + 72.6. Is -3 != t?
True
Let v = 8 - -9. Suppose -51 = 3*i - 2*t - 0, -i - v = -3*t. Let p = i + 17. Which is bigger: 1/31 or p?
1/31
Suppose 4*a - 7*a = 4*j - 131, 5*a = -4*j + 133. Suppose -j*h + 846 = -14*h. Is 47 less than or equal to h?
True
Let g = 45.71 - 2.71. Let d = g + -42.98. Which is smaller: d or 0?
0
Let t = 0.72 - 0.8. Let u = t - -0.034. Let q = u - 1.954. Are q and 0.11 nonequal?
True
Let i = -47.086 + 0.086. Let l = 46.58 + i. Let k = -5.42 - l. Which is smaller: -1/3 or k?
k
Let x = -15.0433 - -15.09. Is x > 1/3?
False
Let t(y) = 11*y**2 - 8*y - 32. Let g be t(-7). Let b = g + -567. Is b <= -3?
True
Suppose -4*o - 2*m = 88, 5*o + 113 = 687*m - 690*m. Suppose 0*p - 112 = 4*p. Let n = p - -6. Are o and n nonequal?
True
Let k = 8.659 + -0.059. Let t = k - 8.6. Let n = 27 - 59. Which is greater: t or n?
t
Suppose 6*a - 2*a = -5*j - 20, -20 = -j + 4*a. Let t = 12 + -10. Suppose t*p - 64 = -j*p. Which is smaller: p or 33?
p
Suppose -2*a = 35*a - 37. Let y(r) = 3*r**3 - 3*r**3 - 1 + 2*r**3. Let n be y(a). Is 0 >= n?
False
Let n be ((-748)/(-187))/(416/(-12)). Which is bigger: n or -309?
n
Let q = -33570 + 27199. Are 1 and q unequal?
True
Let n be 40/32*4*1. Let d be (-2)/n + (512/130 - 5). Let m = d - -277/234. Is m > -1?
True
Let j be (-2)/12 - (519/1384)/(18/8). Is 7033 greater than j?
True
Suppose -x = 4*b + 7, -2*x - 19 = -x + b. Suppose -1463 - 616 = 99*w. Is x at least w?
False
Let m = -84 - -86. Suppose -m*w + 1 = -1. Which is smaller: w or -2/315?
-2/315
Let y be 36/24 - (-148285)/(-98860). Which is smaller: 1 or y?
y
Suppose -y = 8*y + 6*y. Is -20/127 less than y?
True
Let m = -421 - -416.99. Let c be ((-39)/18 + (-39)/(-26) - 7) + 7. Which is smaller: m or c?
m
Let x be (11/(-55))/((-66)/90). Let t(h) = -h**2 + 4*h + 5. Suppose 0 = -4*b + 3*l - 0*l + 35, -5*b + 35 = -2*l. Let a be t(b). Which is bigger: a or x?
x
Let c(r) = r**3 + 6*r**2 - 12*r - 15. Let j be c(-7). Let z be 15/4*j/60. Let p = -2 + 4. Which is smaller: z or p?
z
Suppose 9*j - 517 = 743. Suppose -10*f = j + 360. Is f not equal to -48?
True
Let s = 11 - 7. Let o be (-6)/s + 27/18. Let z = 6.02 + -0.02. Which is smaller: z or o?
o
Suppose -4*o - 2 = -w - 10, 2*o + 5*w - 26 = 0. Suppose -172 = o*y - 7*y. Which is smaller: y or 44?
y
Suppose 0 = -4*y - 3*u + 1035 - 1504, -4*u = y + 127. Which is greater: -122 or y?
y
Let s(l) = 46*l**2 + 10*l - 1. Let t be s(-2). Let h be t + -5 - (-10 - -5). Are 165 and h equal?
False
Suppose 0 = -p - 5*o, -24 + 30 = 2*p + 4*o. Let r be (-2)/(-8) + (p - (-14577)/(-2772)). Is r bigger than 1?
False
Let f = 11714.593 + -11717. Which is smaller: 1 or f?
f
Let z = -240631/86 - -2798. Suppose 5*h + 423 = -22. Let s = h - -89. Which is smaller: z or s?
z
Let l = 125/6 - 207/10. Let d = -0.04 + -3.96. Let q = d + 5. Is l at least as big as q?
False
Let w be (-30)/(-8)*9*(1 + 0). Is w less than 0.2?
False
Suppose -5*v + 694 = a, -2006 = -5*a - v + 1416. Is a bigger than 685?
False
Let d be (-4 - 38/(-9)) + 344/(-1710). Let t be (-2 - -3)/(2*(-11)/22). Which is bigger: d or t?
d
Suppose -192*z - 14 = 178. Which is bigger: z or 1/3714?
1/3714
Let i = 25 + -20. Suppose -5*u = i*p - 0*p,