se
Let q = 695 - 1215. Are q and -520 equal?
True
Let z = -101 + 100.854. Let n = 24696 - 74089/3. Is z smaller than n?
False
Let d be 7/4*(-21)/196*14. Let o be -2 + (-7)/(21/(-18)). Suppose o*p - 8 = 8*p. Is p at least d?
True
Let h(z) = -z**3 - 3*z**2 + 13*z + 10. Let n be h(-5). Let o be (n/(-60)*4)/((-4)/(-12)). Is o greater than -4/65?
True
Suppose 15 = -5*r + 2*v, 3*r + v - 2*v + 8 = 0. Let a be (-2 + 3)*(2040/(-4))/5. Is r <= a?
False
Let h = -2.95 + -0.05. Let f be 2/51 + (-29612)/137292. Which is greater: h or f?
f
Let i(r) = 2*r + 1. Let u be i(2). Let g = 0.4237 + -28.4237. Which is greater: u or g?
u
Let b be (-660)/(-210)*21/1. Let u = -127 - -195. Let c = u - b. Which is bigger: c or 5/2?
5/2
Let y = 3062 - 346008/113. Let j = -9/4 + 37/20. Do j and y have the same value?
False
Let h = 314 - 319. Let q(m) = 4*m**2 + 17*m - 13. Let k be q(h). Which is smaller: k or 18/7?
k
Suppose -8 = -4*b - 3*r, 2*b + r = -1 + 5. Suppose -29*s + 24*s = -b*h + 58, 3*h + 3*s - 45 = 0. Which is smaller: 24 or h?
h
Let u = -1599 - -2337. Let r = 619 - u. Is r smaller than -120?
False
Let r = 20305/2 + -144689/14. Does -182 = r?
False
Let q = -364 + 364. Suppose -5*k - 11 = -b, q = -k + 60*b - 62*b. Which is bigger: k or -22/21?
-22/21
Suppose -3*l = -p - 125, -5*p - 537 - 56 = l. Let f(w) = 31*w - 27. Let o be f(-3). Is o at least p?
False
Let i be ((-468)/(-54))/((-2)/(-24)). Let x be i/(-18) - -2 - -4. Which is smaller: 25 or x?
x
Suppose -4*t = 4*u + 56, 36*u - 52 = 41*u - 4*t. Which is smaller: -56 or u?
-56
Let y = -22837 - -22454. Which is greater: -392 or y?
y
Let k be (1275/(-6120))/((-178)/8). Which is smaller: 0 or k?
0
Let m = 79/27 - 24407/8397. Does m = 0?
False
Let i be (-10927)/(-1820) + (-44)/286. Does 5 = i?
False
Suppose 0 = 44*j - 37*j - 28. Suppose -u = 3*p + 15, -p - 3*p = j*u + 68. Is u <= -21?
False
Let b(m) = 7*m - 30. Let u be b(5). Let g be 18039/126 + (-1 - u/(-6)). Is g bigger than 143?
False
Suppose -2*w + 236 = -4*v, -5*w + 76 + 224 = -5*v. Let f be (-1)/(6/4 - 2). Let s be (-9)/(-6)*57*f/(-3). Is s greater than or equal to v?
True
Let m(r) = -17*r**2 - 293*r + 46. Let c be m(-17). Which is greater: 685/6 or c?
685/6
Let n = -11821 + 11820.63. Which is bigger: n or -19.6?
n
Let g = 7896 + -7908. Let u be 2/6 - 1/(-3). Is u at least g?
True
Let l be 1 + 1 + (-632)/318. Suppose 0 = -2*q + 21 - 19. Suppose 10*r = -1 + q. Which is bigger: l or r?
l
Let h = -103469/7 + 14781. Which is smaller: h or 8.7?
h
Let i = -3365/3 + 1122. Is i at least -89?
True
Let d be 148/240 - (-6)/45. Suppose 1 = r - 4*x - 18, 2*r - 4*x = 18. Let l = r + 2. Which is smaller: l or d?
d
Let t(j) = j**3 + 26*j**2 - 116*j + 323. Let l be t(-30). Suppose 396 = 2*x + 4*p, -3*x + 4*p = -2*x - 210. Which is greater: l or x?
l
Let u be (-76)/(0 + 28/(-7)). Suppose 0 = -3*v - q - 643, 17*v - 420 = u*v + 5*q. Is v not equal to -216?
True
Let l be ((-30)/45)/((-98)/42) + 9/(-7). Which is smaller: 10/243 or l?
l
Suppose -7*h - 358 + 2386 = -33*h. Are h and 4 equal?
False
Let l = 15.9 + -13.9. Let q = l + 41. Are -1 and q equal?
False
Let m(g) = 20*g - 120. Let w be m(6). Let c be 11/22*(w - 2 - -2). Let k = -0.08 + 0.2. Which is smaller: k or c?
c
Suppose -18*v + 190 = 64. Let w = -7 - -16. Is w at least v?
True
Let o = -333 - -340. Let s(w) = w**3 - 6*w**2 - 3*w - 23. Let t be s(o). Let g be 4 + (2 - (3 + 1)). Is t at most g?
False
Suppose 2*n - 6 = -y, 0 = -y + 32*n - 35*n + 8. Is y less than 43/46?
False
Let h be (-36)/(-12) - (-61)/1. Let w = 40 - h. Let i = w + 55. Is i < 32?
True
Let u = 161864 + -1135310/7. Let w(g) = 20*g**2 + 2*g - 4. Let v be w(4). Let o = u + v. Is o at most as big as 1?
True
Let g = 103 - 233. Let b = g + 130.19. Is b less than or equal to 4/3?
True
Let a = -1179.9 + 655.8. Let y = -524 - a. Which is smaller: 203 or y?
y
Let m = -2715 - -8067. Suppose m + 8 = 8*a. Is a at least as big as 669?
True
Suppose -60*v - 334*v - 788 = 0. Let x(j) = -j**3 + 10*j**2 + j - 2. Let c be x(10). Let g be c/(-20) + 64/(-65). Which is greater: g or v?
g
Suppose 3*y - 2*i = 3 + 2, 0 = 2*y + i + 6. Suppose -5*v + 4*u + 317 = 0, -2*u + 11 - 7 = 0. Let s = -1691/26 + v. Are s and y unequal?
True
Let n = 9.1 - -1.9. Let x = n - -7. Let t be 3 - 9*5/45. Which is bigger: x or t?
x
Let m = 0.195 - 0.185. Is m greater than 65?
False
Let m be 6 + 3/(5388/(-3584)) - 4. Suppose 0 = 6*i - 4*i + 2*i. Which is bigger: i or m?
m
Let z(f) = 50*f**2 + 205*f - 69. Let t be z(-4). Suppose -4*u - 394 = -42. Is t less than or equal to u?
True
Let t = -388 - -402. Suppose -4*x + 32 = 2*o, x + 5*o - 22 + t = 0. Is x <= -3?
False
Suppose 2*o - 3*o = 3*g - 2, 5*g + 25 = 4*o. Which is bigger: 81/22 or o?
o
Let l(c) = c + 29. Let m be l(-29). Let o be (m - (-49)/9)*(-168)/(-294). Which is bigger: o or 3?
o
Suppose 13442 = -82*a + 18846 + 26248. Is a less than 381?
False
Let u = -10336 + 10999. Suppose 1448 = 2*o + 4*a + 112, 3*o - 1995 = -3*a. Does o = u?
False
Let d(r) = -r**3 + 14*r**2 - 15*r - 98. Let o be d(9). Is o greater than 12?
True
Let l = 0.0327 + 63.9673. Let p = l + -85.9. Which is bigger: 1 or p?
1
Let k be (-3)/9 - 5/(60/32) - 304. Is k < -311?
False
Suppose 0 = 2*w + 34 - 10. Let o = 51 + -58. Let k(f) = f**2 + 10*f + 7. Let g be k(o). Is w at least g?
True
Let o = 183.272 - 183. Let s = 36.728 + o. Which is smaller: 0 or s?
0
Let v = 102324/7 + -14616. Which is greater: -24/13 or v?
v
Let r(g) = -7*g - 12. Let m(l) = 3*l + 7. Let j = -39 + 36. Let u be m(j). Let y be r(u). Do y and -6 have different values?
True
Let w be (7/(-4))/((-6)/(-264)). Let u = 22 - w. Is 99 greater than u?
False
Let u(y) = 4*y - 38. Suppose j = 5*t - 88, -3*j + 3*t - 330 = 2*j. Let b = j + 72. Let i be u(b). Which is smaller: i or -30/13?
-30/13
Let z be -1 + (560/164)/4. Let s(w) = 5*w - 7. Let c be s(9). Let k = c + -37. Is z not equal to k?
True
Let c = -21945 - -21940. Let r = 1.1 + -0.5. Are r and c nonequal?
True
Suppose 15*k - 1712 = 16513. Is 1219 less than or equal to k?
False
Let m = -227 + 224.99. Let f = m + 1.01. Which is smaller: -13/6 or f?
-13/6
Suppose -2*r - r = -v, 2*v = -5*r - 44. Let y(m) = -m**3 - 13*m**2 - 15*m - 4. Let l be y(v). Suppose 0 = -172*j + 162*j + 320. Is j less than or equal to l?
True
Let q = 1.22 + -4.22. Let m be (-26)/(-364) - (-87)/(-336). Which is bigger: q or m?
m
Let o be 8761*(-1)/19 + 28/266. Let h = -460 - o. Which is smaller: h or 1/13?
1/13
Let x = -303/2 + 3182/21. Let j = -60 - -191. Let h = 131 - j. Which is greater: h or x?
x
Let a be 5*(-9 - (-3130)/350). Do a and 184 have different values?
True
Let g = -732 + 845. Let r be 2/9*(-77 + g). Is r smaller than -6?
False
Let y be 21/(-12) + 2 - (-25)/(-100). Let m be (-1488)/(-752) - 2/(0 + 1). Which is smaller: y or m?
m
Suppose 0 = 105*b - 106*b - 2*z - 1494, -z - 6 = 0. Is -5925/4 at least as big as b?
True
Let r = -1977/70 + 197/7. Is 9/13 equal to r?
False
Let t(g) = -775*g - 1541. Let d be t(-2). Let r = 141 + -93. Suppose -r = 3*s - d*s. Is 7 at least as big as s?
False
Let x be 12*4/3 + -1. Let g = -40 - -37. Let a be (-3)/g*(x + -2). Is 3/5 greater than a?
False
Let q = -299 + -215. Let l = -2051/4 - q. Suppose -4*a + 4*v + 20 = 0, -3*v + 1 - 16 = 2*a. Which is smaller: a or l?
a
Let f(p) = 44*p**2 + 113*p**2 - 4 - 156*p**2 - 9*p. Let d = 26 - 16. Let v be f(d). Which is greater: -0.3 or v?
v
Let j = 24572409/81164 + -2/20291. Let w = j - 303. Are 8/9 and w equal?
False
Suppose 6*c - 4*n - 440 = 3*c, 4*c - 582 = 3*n. Let d(b) = -8*b + 1. Let x be d(0). Which is bigger: c or x?
c
Let p be ((-57388)/(-64))/((-14)/24) - 2. Let j = 1539 + p. Which is bigger: -1 or j?
j
Suppose -6*r - 2*y - 5 = -r, 0 = 5*y + 25. Let n be ((-6201)/(-2055) - 3)/(-12 - 290/(-25)). Is n equal to r?
False
Suppose -x + 2*l + 14 = 0, -13*x + 9*x + 1 = 3*l. Suppose 11*g - 9*g + x*j = -54, 10 = -5*j. Which is smaller: -0.1 or g?
g
Suppose 3*n + 379 = -4*h, -2*h - 3*n + 23 - 220 = 0. Suppose 2*a + 4520 = -3*y, -6035 = 4*y + 2*a - a. Let f be (h/(-35))/13 + 322/y. Is 1 at least as big as f?
True
Suppose -4*r + 415 - 1101 = l, -5*r - 5 = 0. Is l at most -684?
False
Let a = -1373.7 + 1317.776. Let j = 56 + a. Let g = -17.076 + j. Is g at least -3?
False
Let i = 1370.98776 + 0.01224. Is i at most -2/5?
Fa