5))*l. Suppose -p + 130 = 12*p. Do u and p have the same value?
True
Let a be (-234)/(-18) - 8 - 506/42. Is -6 smaller than a?
False
Let w be (1*-3)/(-18 + (-12291)/(-680)). Is -165/4 greater than w?
False
Let q = 0.0415 - -1173.9585. Which is bigger: q or -2/3?
q
Let z be (2 + -54 + -5)*-1*1. Suppose z*r - 1677 = 70*r. Is r equal to -129?
True
Let f = -19371/5 + 3874. Let b = -4.6 + -0.4. Let j = b + 1. Which is greater: f or j?
f
Let n = -1109 - -1100. Let u be 1 + 3/3 - (-1 - -2). Are n and u nonequal?
True
Let o = 755 - 756. Which is greater: o or 2/2857?
2/2857
Let l = 2 - 2. Let j(m) = 4*m**3 + 42*m**2 + 96*m - 14. Let f be j(-7). Is l at least f?
True
Let v(f) = 3265*f + 1887. Let c be v(5). Is c >= 18212?
True
Suppose -7*l + 5*l - 993 = 5*a, -3*a + 5*l - 602 = 0. Let s = 125 + a. Let j = 81 + s. Which is smaller: j or 6?
6
Let w = -24/4487 + -60196/5523497. Is w smaller than 0?
True
Let u be 8065/70 + 66/(-308). Which is smaller: u or -8?
-8
Let m = -34023/217 - -4732/31. Suppose 0 + 10 = -2*o. Does o = m?
False
Suppose 144 = -5*l - k, -k + 20 = -4*l - 97. Suppose -2*q - 2*q - 120 = 0. Which is smaller: l or q?
q
Let h = 145 - 69. Let g be ((-12)/10)/(-4 + h/15). Is 0 smaller than g?
False
Let v(y) = -11*y + 661. Let g be v(8). Is 573 bigger than g?
False
Suppose 30 = 5*c - 0*c. Let w be 4*30/80*7/c. Which is greater: 2 or w?
2
Let q(i) = 3*i**3 + 5*i**2 + 5*i - 23. Let o be q(4). Let r = 282 - o. Let y(n) = 7*n - 1. Let a be y(2). Is r >= a?
True
Let a(o) = 9*o**2 - 4*o - 57*o**3 + 2 - 16*o + 56*o**3. Let b be a(5). Suppose 3*l + 6 = -4*f - 13, 5*l + 13 = -b*f. Is -4/49 < l?
False
Let n(v) = -996*v + 994. Let i be n(-1). Which is smaller: 9949/5 or i?
9949/5
Suppose -3531 = -110*s - 4631. Is -349 at least as big as s?
False
Let n = 1241 - 1285. Is n at least -49?
True
Suppose 2 - 10 = -s. Let d be ((-6)/s)/(9/(-36)) - 6. Let k be 3/d + -1 + 3. Are k and 2/177 unequal?
True
Let x = 2.1427 - 2.1427. Which is bigger: -0.2209 or x?
x
Let q be (196/65 - 3)/(12/(-1728)). Which is smaller: q or -1?
q
Suppose 0 = 31*l - 947 - 3176. Is l less than 158?
True
Suppose 3*t + 47 = f, -4*t = -4*f - 6*t + 202. Let p = f - 92. Is p > -122/3?
False
Suppose -3*v - 6516 = -4*q, -6532 = -4*q - 21*v + 20*v. Does 1631 = q?
False
Let o = 0.01 + -0.11. Let f = -109.26 - 64.74. Which is smaller: o or f?
f
Let j = -2 - 0. Let u be 5 - (2 + j) - 5. Suppose -3*a + 5 = -n - 2*a, 3*n + a - 1 = u. Is -2/141 bigger than n?
True
Let n = 2222 - 2396. Which is greater: -175 or n?
n
Let v be (36/(-4) + 2)/(-1). Suppose 3*f + 3*g - 54 = 0, -3*g + 82 = 8*f - 3*f. Which is smaller: f or v?
v
Let z = 203 - 55. Let b = z + -141. Suppose -2*a = -16 - 2. Which is smaller: b or a?
b
Let l be 76/(-152) - 11/30 - 1. Which is greater: -1 or l?
-1
Let q = 41 + -27. Suppose -13*d + 2307 = -17*d + 5*w, -1154 = 2*d - 2*w. Let s = 575 + d. Which is smaller: s or q?
s
Let c = 244603721/660 - 370612. Let v = -7/22 - c. Let w be (-6)/3 + -5 + 7. Which is smaller: v or w?
v
Let i = 109 - 144. Let z = 27 + i. Which is smaller: z or -10?
-10
Let o = 2466 + -9863/4. Which is bigger: o or 1148?
1148
Let j = 8623 - 8623. Is j greater than 4025?
False
Suppose 0*c - 14 = -14*c. Let p be ((-20)/(-68))/5*c. Which is smaller: p or -1?
-1
Let o = -0.07 - 11.73. Let q = o + 11.7. Which is smaller: q or 126?
q
Let u = -23347/3 - -7783. Which is smaller: -0.4159 or u?
-0.4159
Let n(w) = 3*w**2 - 57*w - 477. Let h be n(-7). Is h equal to 67?
False
Suppose 4*y + 1 + 267 = -4*x, 0 = -2*x. Suppose -5219 + 31685 = -169*w - 232*w. Is w > y?
True
Suppose -35*m - 7946 = -27*m + 50*m. Which is greater: -130 or m?
-130
Let x = 264 - 5546/21. Let f = 1869.2 - 1870.3. Is f > x?
False
Let w be (-5)/(-45) - 74453/126. Let a = w - -1171/2. Which is smaller: a or -6?
-6
Let u = -111 + 376. Let j = u + -232. Is j equal to -2?
False
Let k(o) = o**3 + 5*o**2 - 4*o - 36. Let v be k(-4). Let s be 330/44 - ((-6)/v - 1). Is s equal to 9?
False
Suppose -3*k + 2*f + 383 = 0, 2*k - 242 = -4*f + 8*f. Suppose 183 - 1100 = -7*z. Is k equal to z?
True
Let g = 364 + -12010/33. Let t = -76/165 + g. Are t and -153 equal?
False
Let u(j) = j**2 + 12*j - 43. Let s be u(-15). Suppose -4*z + 2*g = 20, -s*g + 3*g = -4*z - 20. Let b(c) = -c - 11. Let v be b(-5). Is v at most z?
True
Suppose 2*t - 238 = -4*x, 27*x = 23*x. Is t at most 119?
True
Let t(r) = -2708*r - 7416. Let l be t(-5). Which is bigger: 6123 or l?
l
Let q = -3724304/5505 + 10148/15. Which is greater: 0 or q?
q
Let s be 6 - (27/20 - 2)/(324/(-3888)). Let v be 4/(-3) - (-2)/2. Which is smaller: v or s?
s
Let q be (4/50)/(2/10). Let z = -509 - -512. Suppose 29 + 12 = -z*o + 2*n, 0 = 3*o - 5*n + 26. Is o bigger than q?
False
Let m = -33 + 31.6. Let x = -54/11 + 227/44. Which is smaller: m or x?
m
Let x = 140443473/3172 + -44276. Is x >= 0?
True
Let n = -627976/3 + 207472. Let k = 1822 + n. Is -32 less than or equal to k?
True
Let x be (5 + -5)*((-40)/(-14) + 15/(-5)). Is 1/919 less than or equal to x?
False
Let m = -0.3793 - -0.3563. Is 0.3 at least m?
True
Let d = 79 + -313/4. Let g = -66.2 - -41. Let y = g + 21.2. Are y and d nonequal?
True
Let r = 778 + -763.66. Let z = 15 - r. Let q = 0.34 + z. Do -2.4 and q have different values?
True
Let k be 1/(96/6076) + 2 + -3. Let y = 188/3 - k. Is y less than or equal to -1?
False
Let v be (-6636)/348 + 2/29. Which is greater: -122 or v?
v
Let x = 15906276097/26271 - 605469. Is x at least 1?
False
Let s be (23/23)/((-1)/(-28)). Suppose -c - 4*b - s = -9*b, -5*c - 2*b = 221. Is c < -214/5?
True
Let b be (507/26 - 17)*408/10. Is 114 at least b?
True
Suppose 15*u + 38 + 202 = 0. Let c(k) = -k**3 + 7*k**2 - 4*k + 10. Let t(x) = x. Let p be t(7). Let w be c(p). Is u at least w?
True
Suppose 0 = 52*f + 746 + 710. Let k = -5/2 + 23/10. Is f <= k?
True
Suppose -y = 27 - 29. Let j be (4*(-2 - -4))/y. Suppose j*f - f - 15 = 0, 2*o - 70 = 2*f. Which is smaller: o or 41?
o
Let x be 3 + 0 - 648/212. Let z = -67 + 77. Suppose 5*v - z = 4*f, 0*f + 2 = -4*f + v. Is f greater than x?
True
Let b(r) = r**3 + 16*r**2 - 16*r + 13. Let m be b(-17). Let s be 1537/(-493) - m/34. Which is smaller: 10 or s?
s
Let a be -1*(-11)/(143/(-18122)). Is a smaller than 1?
True
Let u = 0.17 - -0.03. Let t = 59 - 58.995. Let m = t + -2.005. Are u and m non-equal?
True
Let s be (3 + 2)*(1 - 0). Suppose -4*t + 24 = -2*k + 4, -t + s = -2*k. Suppose 0 = -t*a + 5 - 30. Does a = -3?
False
Suppose 5*w + 4*a + 18 = 0, 15 = -3*w - 0*a - a. Let z be 1 + w/((-756)/(-125)). Let s = z + 3/14. Are 0 and s equal?
False
Let d(y) = y**3 - 6*y**2 + 14*y - 9. Let x be d(8). Suppose 114*t - 119*t = 3780. Let r be t/x - (-1 + -2)*1. Which is bigger: 0 or r?
0
Let x be ((-9)/(36/8))/((-4)/8). Suppose 2*w = h - 2*h + 29, 74 = 5*w + x*h. Which is smaller: w or 7?
7
Let z be 2*1*1/(-2). Let h = 24.95 + 1. Let d = h + -26. Is z <= d?
True
Let d be -2897*((-360)/(-330) - (-4)/(-44)). Do d and -2898 have different values?
True
Let v = 513525 + -8692592/17. Let y(s) = 34*s**3 - s**2 - 5. Let i be y(-4). Let r = i + v. Which is smaller: r or -2?
-2
Let q(a) = 17*a**3 - 44*a**2 + 176*a + 16. Let u be q(4). Do u and 1101 have the same value?
False
Suppose 0 = 160*w - 102*w. Which is greater: -52/109 or w?
w
Let o = 2096 + -2069. Are 1/5 and o unequal?
True
Let g = -234.81332 - 0.18668. Which is bigger: -0.049 or g?
-0.049
Suppose -280 = -58*n + 53*n. Suppose -n*s = -35*s - 1701. Is s != 77?
True
Let s be 6/324*15 - ((-76)/18 + 4). Which is smaller: -781/2 or s?
-781/2
Let w = -393 - -392. Let l be (-175)/80*6/(-30). Which is greater: l or w?
l
Suppose 2*a - 4*a - 23540 = 3*w, -5*w = 2*a + 39240. Let i be w/(-100) + (1*-1 - -3). Let u = -80 + i. Is u equal to 6/17?
False
Let i = 6719.6 + -6719. Is i >= -512?
True
Let p(f) = -f**3 + 14*f**2 - 10*f - 61. Let w be p(14). Let g = 76 + w. Is g at least -126?
True
Suppose 0 = -5*r + 3144 + 1151. Let h = -54115/63 + r. Which is greater: 2/3 or h?
2/3
Let x = 37679 + -37679.2. Is x at least as big as 6/7597?
False
Suppose 9 - 41 = 4*g - 4*r, 4 = -2*r. Suppose -130*x + 86 = -136*x - 4*o, 4*x + 2*o + 54 = 0. Which is bigger: g or x?
g
Let r(t) = 3*t**3 - 23*t + 1. Let n be r(4). Suppose -109*p = -n*p + 168. Which is bigger: p or -22?
p
Suppose 2*s + 37 = 3*d, -