lse
Suppose 5*i - 4*f - 13592 - 4533 = 0, 0 = 2*i - 2*f - 7248. Suppose i - 76 = -19*c. Which is smaller: 2/7 or c?
c
Let f = -1849 - -1854. Which is smaller: -126 or f?
-126
Let t = 13 - 14. Let i be 6 + (-4)/(336/484). Which is bigger: i or t?
i
Let o = 21 - 48. Suppose -48*t = 271 - 103 + 312. Is o < t?
True
Let x = -3812 + 3811.8. Is x at most -6796?
False
Let c be (-441)/18*(-24)/14. Let s = -77 + c. Let p = -33 - s. Which is smaller: p or 6/11?
6/11
Suppose -v = 3*v - 1196. Let p = -2089/7 + v. Let m = 41/2 - 62/3. Which is greater: m or p?
p
Suppose 82*y - 479 = -180 + 521. Which is greater: -164 or y?
y
Let n = -14821 + 1541393/104. Is n equal to 0.1?
False
Let b = 68 + -63. Suppose -105 = 423*i - 428*i. Are i and b non-equal?
True
Let g(k) = -6*k - 97. Let v be g(-17). Suppose 30*n - 35*n + v = 0. Which is bigger: n or 13/16?
n
Let o be 8*371/28 + 6 - -7. Which is bigger: o or 78?
o
Let o = -16600 - -597637/36. Let u = o + -7/12. Suppose -2*t = 7 + 3, 0 = g - 2*t - 9. Which is bigger: g or u?
u
Let r = 239 - 234. Let n be 1*((-6 - 0) + r). Is n bigger than -1/282?
False
Let l be (17 - -267) + (-3)/(9/(-15)). Let r = l - 290. Suppose 0*g = 5*g + 45. Is g at least as big as r?
False
Let i be (-1)/(-2)*(0 + 22). Let o(r) = -15*r + 103 - 17 - 28 - 31 + 13*r. Let w be o(i). Which is bigger: w or 36/7?
36/7
Let v = 3420.86 + -3324. Let w = -96 + v. Let q = 0.14 + w. Is q > -2/27?
True
Let p be 1/(((-1295)/201855)/7). Let v = p + 1091. Suppose 3*h - 3*l = 9, -4*h = -l - 3 - 0. Which is greater: h or v?
h
Let v = 1149 - 1151. Are 9/4 and v unequal?
True
Suppose 0 = 4*l - n + 13, 2*l = 5*n - 6*n - 5. Let g be l - (-2 + 5 + -21). Which is smaller: 16 or g?
g
Suppose -3*w - f = 0, 0 = 2*w + 3*w - 5*f + 20. Let v = -37091/25 + 1484. Is v at least w?
True
Let p = -426 + 426. Let t = 0.31 - -41.69. Is t greater than p?
True
Let x = 167/18 - -1421/36. Suppose 14*y + 96 = 16*y. Is y > x?
False
Let s = 101 - 43. Let c = 60.3 - s. Let f = 96 - 674/7. Which is greater: f or c?
c
Let d(s) be the second derivative of -1/2*s**4 - 4*s**2 + 0 + 6*s + 1/20*s**5 - 2/3*s**3. Let h be d(6). Are h and -33 equal?
False
Let m = 44 - -36. Let d = m - 118. Let h = d - -37. Is h >= -9?
True
Let r(g) = -376*g - 14250. Let j be r(-38). Do 1486/39 and j have different values?
True
Let u = -1492905/299 - -4993. Let r be (-5)/(20/(-16)) - 5. Which is smaller: r or u?
r
Let r be 119*(-13)/(-455) - (2 + (-3)/(-3)). Are -1688 and r nonequal?
True
Let z = 7532.957 + -10.957. Are z and 2 equal?
False
Let q be 41 + -47 - 1*(-3 - 0). Is q at most -293?
False
Let f = -6.3 + 7.28. Let b = 1.02 + f. Let i = 12 + -12.05. Which is smaller: i or b?
i
Let k = 8011 + -7597. Which is smaller: k or 428?
k
Suppose v - 12 = -4*t + 5, -v = -3*t + 4. Let h(j) = -j + 6. Let a = 37 - 34. Let k be h(a). Is t >= k?
True
Suppose -3*v + 3*g + 60 = 0, -g - 8 + 3 = 0. Let c be (22/(-5))/(-3 + 44/v). Let r be 51/c*-6 - -3. Is r < -1?
True
Let g(u) = 7*u - 7. Let k be g(5). Let a be (k/(-12) - -3)*7. Let l = 663 - 659. Which is greater: l or a?
a
Let r(j) = -146*j + 14. Let b be r(5). Let z be 8/36 + (-3)/54*b. Suppose -2*t = -f + 16, 0 = 5*t - 0*t + 2*f + z. Is -17/2 bigger than t?
False
Suppose 28*h - 78 = 146. Let x be (8/(-6))/(((-416)/(-12))/h). Which is bigger: 6/11 or x?
6/11
Let b = -0.12889 + -103.87111. Which is bigger: -33 or b?
-33
Let n = -59.45 + 1.45. Let r = n - -39. Let i = r - -20. Which is smaller: 3/35 or i?
3/35
Let o(b) = b - 22. Let d be o(22). Let s(v) = 2 - 3*v + 8 + d*v - 27. Let a be s(-5). Do a and 4 have different values?
True
Let z be 5/(1430/4248) + -15. Is z at most as big as -1?
False
Let y = -83 - -97. Let n = y + -59/2. Is -16 at least n?
False
Let n be 72/(-10)*(-400)/(-60). Is n at least as big as -50?
True
Let z = -1006 + 1014. Suppose -139 = z*r + 101. Is -30 greater than r?
False
Let k be (3/(-6))/(1/(-10)). Suppose -5*c + 3*v = k, 5*c + v = 2*v - 15. Let m = c - -19. Which is bigger: 14 or m?
m
Let m = -9 + 7. Let b(s) = -14 + s**2 + 8*s + 45 - 23. Let u be b(-7). Which is smaller: m or u?
m
Let i(w) = -w**2 - 10*w - 19. Let x be i(-3). Suppose 14 = -3*b - p, -5*b + x*p - 5 + 0 = 0. Is b bigger than -3?
False
Let j = -3067 - -3066. Are j and 2/19 unequal?
True
Let c = -100/71 - 8388/497. Let z(m) = 11420*m - 34277. Let n be z(3). Do n and c have different values?
True
Let c be 10/(-35) - (-306)/(-7). Let p = 47 + c. Let r = -169/435 + -1/87. Is r less than or equal to p?
True
Let o(n) = -4*n + 2*n + 6 - 4*n**3 + 2*n**3. Let b be o(2). Let a be (-4)/(-6) + b/(-42). Is -1/13 greater than or equal to a?
False
Let s(f) be the third derivative of -49*f**5/60 - f**4/24 + 7*f**2. Let j be s(-1). Let n be 20/j*-4 - 2. Is n equal to 1?
False
Let p = -5817 + 5680. Does p = -137?
True
Let w be (-138 - -143) + 0 + 230/(-34). Let n be (-17)/(51/18) + 4. Which is bigger: w or n?
w
Let w(z) = z**3 + 9*z**2 + 12*z - 3. Let u be w(-9). Let o(i) = i**3 + 7*i**2 - 11*i - 23. Let j be o(-8). Is u smaller than j?
True
Suppose 40*o = 4056 + 30144. Which is bigger: o or 859?
859
Suppose -111*c = -76*c - 2170. Suppose 3*b - 8*b = 2*o + 149, 4*o = -5*b - 303. Let n = c + o. Which is greater: n or -16?
n
Let v = -83 + 245/3. Let w = -123 + 24. Let z be (-4)/9*w/(-22). Is z < v?
True
Suppose -12*c + 6 = -9*c. Suppose 20*g = 17*g + 3, c*g = -4*r + 74. Which is smaller: r or 11?
11
Let o(j) = 42*j**2 - 5*j - 6. Let y be o(-1). Suppose 4*r - y = -m, 53 = 5*m - 2*m - 2*r. Is m != 19?
True
Let w = 76 + -70. Let q be (w/(-8))/(-3 - (-19)/4). Do q and -2 have the same value?
False
Let b = 39/59 + -2654/177. Which is smaller: 1/6 or b?
b
Let u be (-51 - -42) + 38 + 0 + 28 + -26. Let a(m) = -m**3 + 5*m**2 + 4*m - 2. Let b be a(4). Which is bigger: b or u?
u
Suppose 14062 = 29*r + 56286. Let n be r/(-520) - 2/(-10). Suppose 0 = 3*z - 2*c - 0*c + 1, -5*z + 10 = -c. Are z and n unequal?
False
Suppose 13*x - 9*x = -9*x + 3952. Is x equal to 2138/7?
False
Let j be ((-7)/5)/(12/(-30)) + (-39)/(-78). Which is smaller: j or 39?
j
Let t = 88 + -141. Let n = 43 + -95. Let u = t - n. Which is smaller: 1/61 or u?
u
Let r = -38035/7 - -5435. Is r equal to -104?
False
Suppose 22 = 4*i - 10. Let k = i + -7. Let l = -139 + 3059/22. Which is smaller: k or l?
l
Suppose 5*g - 5*k = 605, g + g + 2*k = 234. Which is bigger: 3 or g?
g
Let h(u) = 10*u**2 + 4*u + 2. Let n be h(-1). Suppose -20 = 4*p, 28*z - 31*z = p + n. Is z equal to 3/218?
False
Let g(d) = 12*d**3 - 6*d**2 - 606*d + 1218. Let c be g(2). Suppose 0*h - 380 = -5*h. Let y = h - c. Which is smaller: y or -14/9?
y
Let j = -102264818/4805 - -21283. Which is greater: j or 0?
0
Suppose 0 = 2*y + z - 8, -2*y + 11 = y + 2*z. Suppose 33*d - 34*d + 2*c - y = 0, 5*d = 3*c - 4. Is d smaller than 1/2?
False
Let c = 7666 + -7598. Is -56 at least c?
False
Let r = -13260 - -13082. Which is bigger: -0.21 or r?
-0.21
Let x(h) = 3944*h + 1298. Let r be x(3). Which is smaller: 13129 or r?
13129
Let s = 30887 - 30890. Let h = -0.02 + -0.98. Which is greater: h or s?
h
Let c(j) = 12*j - 153. Let v be c(0). Let z = -135 - v. Which is smaller: z or 22?
z
Suppose 0 = -2*u + u + 236. Let c be u*(0 + 0 + (-10)/(-10)). Suppose -13*o = -67 + c. Is o not equal to -13?
False
Let k = -32.7 - -163.8. Is -2 greater than or equal to k?
False
Let j(t) = -t + 3. Let o be j(5). Let c = 34 - o. Let y be (-63)/21 - -1*1*(46 - 7). Do c and y have different values?
False
Let v be (-3265)/(-408) + -23 + (-19 - -34). Are 1 and v equal?
False
Let f(k) = 2*k + 31. Let y be (-48)/20*40/6. Let n be f(y). Is 2/101 bigger than n?
True
Suppose 2*k + 126 = -4*k. Let l be k*(-16)/588*-9. Is -5 bigger than l?
True
Let k be (-3)/(-3) + 5 - (-1820)/1570*-6. Are k and 0 non-equal?
True
Let f(v) = 8*v**2 - 7*v + 1. Let i(k) = -17*k**2 + 14*k - 2. Let d = 44 - 40. Let j(c) = d*i(c) + 7*f(c). Let u be j(2). Which is smaller: -37 or u?
-37
Suppose -302*o - 130 = -112 + 284. Let z(k) = k**3 + 5*k**2 + 3*k + 2. Let a be z(-4). Suppose 114 = 3*s - a*s. Which is greater: o or s?
o
Suppose 2*i - 3326 - 32488 = 5*y, 28665 = -4*y - 3*i. Which is smaller: y or -7166?
-7166
Let l = 420937970529/268962254 - -1/4014362. Let u = l + -1565. Which is smaller: u or 0?
0
Let i = -22.14 + 894.49. Let q = i + -872. Which is smal