hich is bigger: i or l?
i
Suppose -183*r - 282 = -189*r. Suppose 2*t - 319 = -r. Which is bigger: t or 137?
137
Suppose 4*i - 629 = -673. Suppose 4*w = 2 + 18. Suppose w*v = -11 - 14. Is v greater than or equal to i?
True
Let v = 24.9 - 38.3. Let i = -12.4 - v. Is i >= -6/13?
True
Let r(q) = q**2 + 9*q - 34. Let n be r(-10). Let a(m) = m**3 + 25*m**2 + 23*m + 23. Let f be a(n). Which is smaller: 43 or f?
43
Let s be (14/(-6) + 0)/(4/(-3)). Suppose -10*h - 2*h + 876 = 0. Let l = h + -70. Which is smaller: s or l?
s
Let b = 0.78684 + 0.21316. Suppose 5*r + 34 = -h, -r - r - 11 = 3*h. Let v be (r - -8) + (-122)/118. Are b and v nonequal?
True
Let m = 105573 - 25442981/241. Which is greater: m or -1?
m
Let z be -7*3*(-2)/6. Suppose -2*f = -f + 2*i - 6, -z = -3*f + 5*i. Let j = 487 - 969/2. Is f greater than or equal to j?
True
Let t = -7624/3 + 373567/147. Is t less than or equal to 1/13?
True
Suppose -7*x + 91 = 21. Suppose 5*w + 1 = 26. Suppose 1 = 3*g + x, -w*n - g = 8. Is n at most 4/13?
True
Suppose 5*c + 10 = 0, 14*c - 5001 = -3*y + 11*c. Is y at most as big as 1666?
False
Let z = 3628 + -3628.2. Which is greater: z or 1660?
1660
Let m be 24/(-21 + -171) - 41342/16. Is -2584 at most as big as m?
True
Let z be (-2)/(-8) + (5 - ((-985)/(-100) + -5)). Which is smaller: 313 or z?
z
Let y(w) = 41 - 229*w + 242*w - 18. Let l be y(-6). Suppose 36*f + 108 = 34*f. Is l < f?
True
Let y(s) = 17*s + 203. Let z be y(-12). Let a = 11 + -6. Suppose 2*f = -2, -11 = a*o + f + 5. Is o != z?
True
Let o be ((-6)/4)/((-2)/(-92)). Let b(a) = -10*a**2 - 69*a + 12. Let i be b(-8). Let n = i - o. Is -2 less than or equal to n?
False
Suppose -8 = -3*c + 5*g, -3*c + 8*c - 8 = 3*g. Let s be (0 + c)*(-1 - -2)/1. Let h = 1/17 + 14/51. Which is bigger: s or h?
s
Let i be (2978/(-10423))/(-2*2/182). Do -116 and i have the same value?
False
Suppose 56*w = 2490 - 250. Suppose -4*v = 4*s + 76, -3*v = -s - 39 + w. Let a be 79/(-6) - 2/6. Which is bigger: s or a?
a
Let x = -695 - -7646/11. Suppose 0 = 4*k + 16 - 56. Let r = k - 9. Which is bigger: x or r?
r
Let o(c) = -c**3 + 63*c**2 - 235*c + 77. Let a be o(58). Is a < 1?
False
Let b(k) = -2*k**2 - 43*k - 26. Let n(j) be the third derivative of -j**4/24 - 25*j**3/6 + 8*j**2. Let u be n(-4). Let z be b(u). Which is smaller: z or -0.4?
z
Suppose 101664 = 412*z - 289324. Which is smaller: z or 8548/9?
z
Let c = 241.02 - 241. Is c != 2?
True
Suppose 3*p + 18 = 5*d + p, 7 = 3*d - 5*p. Suppose -n = 6*n + n. Suppose n = d*g - 3*g - 4, -u = -g + 6. Is u greater than -1?
False
Let d = -6446 - -58012/9. Which is smaller: -3364 or d?
-3364
Let j(o) = -2*o - 28. Let q be j(16). Suppose 91250 = 25*g + 92750. Is g bigger than q?
False
Let m be (-16)/(679168/420)*6/(-5). Is 1 smaller than m?
False
Let j = -33 + -57. Suppose 155*l = 157*l + 26 + 154. Is j greater than l?
False
Let r = 2.7 - 2.706. Let q = -0.034 - r. Let p = -4.972 + q. Is 1 not equal to p?
True
Let f(w) = -15*w - 455. Let z be f(-39). Are z and 129 equal?
False
Let b = 3.5 - -1.5. Suppose 23*q + 10 = -13. Is b less than or equal to q?
False
Let c be (-312)/(-1456) - (-698)/(-2996). Which is bigger: 1.7 or c?
1.7
Let l be (-1341)/2235*(-185)/52. Which is greater: l or 2?
l
Suppose 8*z + 28 + 20 = 0. Let g(t) = 4*t**2 - 18*t - 18. Let c be g(z). Is c greater than 233?
True
Let o(v) = v**3 - 6*v**2 + 29*v + 31. Let y be o(9). Suppose -160 = 5*b - y. Which is smaller: 74 or b?
74
Let q = 72 + 19. Let l = -39 + q. Let w = l - 58. Is 3 at most as big as w?
False
Let n = -1953/2 + 11785/12. Which is smaller: 5 or n?
5
Let o = 2629904753/1791 + -13307051/9. Let d = 10161 + o. Which is bigger: d or 1?
1
Suppose 3*p + 3 = 4*p, 3*u + 2*p - 114 = 0. Let r be ((-8)/u - (-28)/45)*-340. Is r at least as big as -134?
False
Let a = -15697 - -204267/13. Let k = a - 9437/598. Is k less than 1?
True
Let g be 8 - (20350/4100 - 1*-3). Which is smaller: g or 0?
0
Let b = 21 + -19. Suppose -b*g - 2*m + 27 = 3*m, 12 = -3*g + 3*m. Suppose t - g = 2, 0 = -3*r + 2*t - 15. Which is greater: -8/5 or r?
-8/5
Let u = 88 + -87.953. Let b = u + -1.047. Let o = 46/11 + -4. Is o greater than or equal to b?
True
Suppose -47*n + 8053 + 14601 = 0. Is n less than 482?
False
Let j be (-6)/(-42)*(24/4)/3. Let x = 8.176 - -0.024. Is j greater than x?
False
Let k = 5504 + -5520. Which is smaller: k or 7?
k
Let z(m) = -50*m + 52. Let r be z(1). Suppose s = 3*o - r, 4*o = -3*s - 33 - 12. Which is bigger: s or -10?
-10
Let l be (-322)/8 + (-725)/(-580). Do l and 9 have the same value?
False
Let l = -119173/3 - -40246. Is l bigger than 522?
False
Suppose 0 = 11*w - 2421 + 430. Let y = 180 - w. Which is smaller: -14/13 or y?
-14/13
Let y be 87485/10710 - 8 - (-1)/(-6). Let s = y - -2104/20349. Which is smaller: s or -1?
-1
Let r = -499.1 - -499.2. Which is greater: -8.62 or r?
r
Let s = 0.3942 + 380.8058. Let h = s + -381. Which is greater: h or 13?
13
Let j = -887/10 + 583/6. Which is bigger: 9 or j?
9
Suppose -15 = 50*s - 46*s - o, -6 = s - o. Let z be (-1 + s/(-2))*2. Let l be 8/(-62)*17 - -2. Are l and z unequal?
True
Suppose 522*q - 488*q = 2720. Which is greater: 475/6 or q?
q
Suppose -2*i = 4*d - 42, i = 4*d - 3*d + 9. Let t = -148 + 147.95. Which is smaller: t or i?
t
Suppose -11*u - 55 = -16*u. Suppose u - 243 = -4*w. Suppose -2*g + w - 36 = 0. Is g not equal to 11?
False
Let j(d) = -2*d**2 + 25*d + 986. Let k be j(30). Let q(o) = -o**2 + o - 1. Let n be q(0). Is n smaller than k?
False
Let w be (2/(-9662))/(945/(-315)). Do w and 1 have the same value?
False
Let f = 6607 + -6679. Which is greater: -0.14 or f?
-0.14
Let d(q) = 19*q**2 + 11 - 17*q**2 - q + 5 - 2 - q**3. Let x be d(4). Is x >= -21?
False
Suppose -10 = -5*p, 5*n + 850 = -4*p - 227. Is -220 at most n?
True
Suppose -5*a - 64 = -3*r, -94 = -2*r + 44*a - 48*a. Is r smaller than 62?
True
Let u(w) = w**3 + 26*w**2 + w + 26. Let s(v) = 5*v - 20. Let y be s(6). Suppose y*b + 234 = b. Let t be u(b). Is 3.2 >= t?
True
Suppose 0 = -4*i - 5*b - 13051, 95*b + 9787 = -3*i + 91*b. Is i equal to -3270?
False
Suppose -14*l = -18*l - 8. Let t be ((-3)/(-36))/(l - (-34)/32). Is t <= -1?
False
Let t(f) = 2*f**3 + 17*f**2 - 8*f + 9. Let n = 43 - 52. Let l be t(n). Is l greater than -6/37?
True
Suppose 2*n + 15*o - 12*o - 63 = 0, n - 21 = 2*o. Suppose -11 - 12 = 5*j + 2*g, 5*j - 2*g + n = 0. Is 25 at least as big as j?
True
Let d(a) = 307*a + 5831. Let w be d(-13). Which is smaller: 7361/4 or w?
w
Suppose -1642*a = -1615*a - 27. Which is greater: 26/51 or a?
a
Let q(w) = 15*w**3 - w + 1. Let l be q(-3). Let g = -155 - l. Is g <= 247?
True
Let y be (2*1)/(2/(-48)). Let c = -3078 - -3030. Is c greater than y?
False
Suppose 1091 - 1483 = 196*w. Let g = -8/339 - 2915/5763. Which is greater: w or g?
g
Let y = 6 + -5. Let z = 1.262 + 1.438. Are z and y nonequal?
True
Suppose 7 = 5*x - 0*x - z, -3*x + 21 = 5*z. Suppose 5*r + 126 + 120 = 2*u, 4*r = 16. Let t be (-4294)/u + x/(-21)*-3. Is t greater than -30?
False
Let l(t) = -351*t + 9475. Let a be l(27). Let z = -17.25 + 0.25. Let p = z - -7. Is p less than or equal to a?
True
Let q = 4039094/753 + -5364. Let w(b) = b**2 - 3*b - 18. Let x be w(6). Which is smaller: q or x?
x
Suppose 13*q - 17*q - 4*i + 16 = 0, -5*i = 20. Which is smaller: 40 or q?
q
Suppose 7*t - 2*t - 5 = 0. Let d(w) = 9*w - 27. Let m be d(2). Let n be -2*100/(-555) - (-3)/m. Which is greater: t or n?
t
Suppose -39 = l + 3*g, -126 = -14*l + 18*l - 3*g. Suppose 0 = k - 0*k. Suppose -5*d - 2*d - 224 = k. Is l at least d?
False
Let n = -18 - -28. Suppose 10*b = -10 + n. Suppose -4*c + c + 2*y = 5, -4*c + y = 0. Is c bigger than b?
True
Let y be 3/(19929/(-8555)) - (-6525)/5075. Let w(g) = g + 4. Let q be w(-3). Is y not equal to q?
True
Let g be 3/27 + (-111740)/45. Are -2482 and g nonequal?
True
Let p = 44.8 - -3.2. Let k = p + -43. Let s be 3/(-14) + 2 + 6/(-4). Which is greater: k or s?
k
Let c(f) = -85*f - 20. Let m be c(-4). Let t = -315 + m. Is 9/2 at least t?
False
Suppose 0 = -12*p - 19*p - 51*p + 11480. Are p and 1129/8 unequal?
True
Let m = -2857 + 2643. Is m smaller than -235?
False
Suppose 52*b = 42*b - 1780. Let s = 179 + b. Is s at least as big as 2?
False
Let i = -1.552 + -821.448. Which is greater: i or -1?
-1
Let x(n) = 782*n + 1598. Let b be x