rue
Let c = 145/2 - 737/10. Let l be -1*(-1)/(-3)*(-20)/22. Let o = l - -1/33. Is o > c?
True
Let p = -1745 + 3020. Let i be 1 + 2 - p/175. Which is smaller: i or -2?
i
Suppose 0 = -2*m + 3*i + 439 + 129, -m = -2*i - 283. Suppose 5*b + 16*a - 20*a + 361 = 0, 4*b = 5*a - m. Is -78 smaller than b?
True
Let k = 12 + 2. Let y = -12 + k. Let q = -0.0432 - -20.0432. Which is smaller: q or y?
y
Suppose 5*v + 11 = -4*f, -6 = 3*f - 102*v + 105*v. Which is smaller: -2/9577 or f?
-2/9577
Let w = -26 - -49. Suppose -2*a + 0*a - 3*m + 11 = 0, a = -5*m + w. Let h be (-156)/33 - (a + -2). Which is smaller: -1 or h?
-1
Let k(a) = -67*a + 93. Let i be k(-2). Let v = -220 + i. Which is greater: v or 6?
v
Let d(l) = l - 4. Let a be 2 - (2 - -1)/(3/3). Let o be (2 - -7)*a/(-3). Let f be d(o). Which is smaller: f or 1/33?
f
Let l = -9/2917 - -26219/6607005. Is l greater than 1?
False
Let g(q) = 2*q**3 + 21*q + 1. Let u be g(4). Suppose 137 = 2*o + 5*s + 38, 5*o - u = -s. Is -3 less than o?
True
Let r(j) = -j**3 - 4*j**2 + 13*j + 6. Let u be r(-6). Suppose u = -4*a + 9*a - 35. Suppose -3*b - 2*m + a + 14 = 0, 5*b - 35 = 3*m. Is b bigger than 6?
True
Let x = -153.8 + 154.8. Which is bigger: 182 or x?
182
Suppose -63 = 21*t, 0 = 3*g - 6*t + 8*t + 8736. Which is greater: g or -2911?
g
Suppose 0 = 5*p + b + 10858, -62*p = -63*p - b - 2166. Is p less than -2177?
False
Let z be 18/(-33) + (-6)/((-27918)/2703). Which is bigger: -2/17 or z?
z
Let b be 1*(8 - 4)/1. Suppose r + b*f - 19 = -5, 2*r = -5*f + 19. Suppose -5*m = 2*k + 3, r*k + 5*m + 1 = 2*m. Is k less than 3/2?
True
Let f = -3558 + 3558.1. Suppose -2*u = 3*v - 3*u - 492, -v + 5*u + 178 = 0. Suppose -98 = -3*r + v. Which is greater: r or f?
r
Let k = 5 + -3. Let s = 3 - k. Let o = 3/8692 + 8377/912660. Does o = s?
False
Suppose 887 = -4*w + o, -1315 + 204 = 5*w - 2*o. Let q = -261 - w. Which is greater: -41 or q?
q
Let z = -30874 + 30712. Let l = -3.1 - -3. Is l equal to z?
False
Let m = 1.08 - -64.92. Let l = -115 + m. Let h = l + 52. Which is greater: h or -0.1?
h
Let k = 13/5757 + -2/101. Let i = -86 + 85. Is i < k?
True
Let o be (-36)/30*(-32)/(-6). Let j = o + 136/15. Is -1 at least j?
False
Suppose 146*i - 156*i = 34540. Are -3454 and i non-equal?
False
Let u be (-9)/4*(11817/27 - (24 + -5)). Do 0 and u have the same value?
False
Let u = -19083.6 - -18785. Do -1/5 and u have the same value?
False
Suppose -27 = 5*z - 52. Let q be -9 - (-9 - (z - 9)). Let x(t) = t**3 + 5*t**2 + 4*t - 4. Let c be x(-4). Is c at least as big as q?
True
Let z be ((-7)/1 - 0) + (5460/54)/14. Which is smaller: 483 or z?
z
Let n(g) = -g**3 - 8*g**2 + 7*g. Let k be n(-5). Suppose -406*j - 16735 = -1407*j - 112064 - 16783. Is j >= k?
False
Suppose 20*d + 4*d + 6000 = 0. Are -248 and d non-equal?
True
Let a = -496 + 530. Is -4 greater than a?
False
Let i be 540/42 - (15/(-7) - -2). Suppose 0 = i*o - 3470 + 9424. Let y be 4/o*(-5 - -4). Is y greater than 0?
True
Let x be 2/22 - (-16 - (-13826646)/859320). Which is bigger: x or -1?
x
Let i(c) = -2*c + 13*c + 17*c**2 - 10*c**2 + 67 - 6*c**2 + 6*c. Let q be i(-11). Which is greater: q or -290?
q
Let u(k) = -3*k**3 + 6*k**2 - 6*k + 19. Let a be u(3). Let j be a/(-221) + 2416/(-17). Is j equal to -141?
False
Suppose -132*y + 227*y = 118*y. Suppose 0 = -4*u + 5*u. Is u at most y?
True
Let h(o) = -o**3 - 19*o**2 + 20*o - 52. Let r be h(-20). Let g = r + 53. Which is greater: g or 2/1173?
g
Let z(u) = -30*u + 2661. Let v be z(77). Which is smaller: v or 356?
v
Suppose 1565 = -18*m + 13*m. Let t = 374 + m. Which is greater: 1 or t?
t
Suppose 38*m = 23*m + 675. Let v = 73 - 27. Let q = m - v. Is 2/51 greater than or equal to q?
True
Let k(r) = -2*r - 3. Let m be k(-8). Suppose 3*o - m*o = 2590. Let g = 2339/9 + o. Is g < 2?
True
Suppose -2*l + 3*t + 29 = 0, -2*l + 3*l = 3*t + 19. Suppose 35*s - 37 = 1293. Suppose s = -12*d + l*d. Does -20 = d?
False
Let h be (6/(-3) + -1 - -2) + 1. Suppose h = 12*l - 28*l + 608. Is l at most as big as 40?
True
Suppose -17*k + 21*k = 476. Let t = k - 105. Is 76/5 less than t?
False
Suppose -3*r + 20 = 2*r. Suppose -3564 = -10*t - 374. Let g = t - 949/3. Is r less than g?
False
Let c(h) = h**3 + 87*h**2 + 248*h - 420. Let b be c(-84). Let u be ((-63)/(-15))/((-1)/20). Is b <= u?
True
Let k be (-1982)/(-2) + -7 + -8. Let p = -5845/6 + k. Are p and -2 equal?
False
Suppose 6*z + 6780 + 1356 = -12*z. Which is smaller: z or -451?
z
Suppose 11 = 6*q + 47. Let p be (14/105*6)/(q/(-5)). Which is smaller: p or -0.141?
-0.141
Let r = 43.63 + -43.6. Let q = 1/1072 - 1121/52528. Do q and r have the same value?
False
Suppose i + 50 = -4*l, -l + 7 = -2*i + 6. Are l and 57 equal?
False
Let v(y) = 40*y + 479. Let u be v(-12). Which is smaller: u or -3/8990?
u
Let m = -28 + 72. Suppose -53 = -3*w - m. Is w > -4?
True
Let h(k) = -3*k - 64. Let p(w) = -2*w - 2. Let f(t) = 3*h(t) - 3*p(t). Let i be f(-39). Which is smaller: i or -64?
i
Let f be (-20)/15*(1 + (-6)/(-3)). Let z be -2 + ((-78)/21 - f) - -2. Let q = 4 + -4.06. Which is bigger: z or q?
z
Let t = -43 + 63. Let g(b) be the third derivative of -19*b**5/60 + 191*b**4/24 + 3*b**3/2 - 147*b**2 - 1. Let w be g(10). Is t less than or equal to w?
False
Let c(a) = 75*a**2 + 6*a + 6. Let b be c(-1). Let y be (-3 + 24/9)/((-1)/b). Is y > -1?
True
Suppose -118*t + 80*t = -38. Suppose -88 = -2*m + 148. Let y be 0 + -2 - m/(-56). Which is smaller: t or y?
y
Let u = -0.68 + 3.93. Let o = 3.26 - u. Which is bigger: o or 3?
3
Suppose 26*u - 21967 + 6521 = 22644. Which is smaller: 1467 or u?
u
Let r(c) = -327*c - 1. Let z be r(-1). Suppose 3925 = 16*b - 274 - 1033. Which is smaller: z or b?
z
Let j = -21.242 - -19352.242. Is j greater than 0.1?
True
Let c = -273 - -36307/133. Suppose 0*v = 2*v. Is c bigger than v?
False
Suppose 2 = -20*b + 19*b. Let y be (b/(-5))/((-18)/(-1440)). Is y < 32?
False
Let g = -10 - -43. Let z = -452 - -489. Let j = z - g. Which is smaller: j or -0.2?
-0.2
Let m(z) = -125*z + 2126. Let y be m(17). Is y at least -2/1357?
True
Let s = -3.646 + 3.246. Let b = -9.6 + 8. Let j = b + 0.6. Which is smaller: s or j?
j
Let h = -18779 - -18779.1. Which is smaller: h or 6710?
h
Let j = -453832558/1353 + 335427. Let a = j - 1/33. Is a equal to 0?
False
Let r(s) = -12*s**2 - s + 3. Let i be r(-3). Let u = -5.3488 - -5.3488. Is u at least as big as i?
True
Let x be (-8)/((-1)/2 - 77/(-66)). Let l be 6/10 + -3 + (-40)/x. Is l at least as big as 0?
True
Let v = -226 + 451/2. Which is smaller: v or 164?
v
Let h be (14/(-5))/(1519/245). Do h and -6 have different values?
True
Let n = -31563 - -31563.6. Is -40 less than or equal to n?
True
Suppose 88*g + 675 = 63*g. Suppose -8*z + 3*z = -3*f + 450, 0 = 2*f. Let w be ((-3)/z)/((-12)/g). Which is smaller: 1 or w?
w
Let h(o) be the second derivative of -o**5/20 + o**4/6 + 5*o**3/2 + 2*o**2 + 37*o. Let j be -1*5/10*-10. Let w be h(j). Which is smaller: w or 5?
w
Let z = 32196626/311 + -103526. Which is smaller: 1 or z?
z
Let c be (504/(-897540))/(((-6)/(-150))/((-2)/6)). Is 1 smaller than c?
False
Let g = 236 + 12. Let v = g + -249. Which is greater: -127 or v?
v
Let x = -69623/184 - -6722/23. Is -87 not equal to x?
True
Let i = -169 - -145. Let p be 13/(-3) - 3*32/i. Let k = 3 + -2.9. Is k less than p?
False
Let g = 2.02 - 1.15. Let k = g + -1.07. Which is bigger: k or -8?
k
Suppose -4*s - 72 = 60. Let d = s - -44. Is 4 greater than or equal to d?
False
Let z(n) = -6*n - 1. Let c(f) = 71*f - 414. Let l(b) = -c(b) - 4*z(b). Let y be l(8). Is y at most as big as -0.2?
False
Let k(u) = -5*u - 10. Let m be k(-8). Let w be m/(-6) - 6/9*-6. Let g be (-1 - (-2 + 3))/121 - 0. Is w > g?
False
Suppose 4*m + 2*m - 120 = 0. Suppose m*b = 8*b + 12. Is -2/541 bigger than b?
False
Suppose -7*n + 394 + 432 = 0. Let v be (-17 - -13) + n/34. Let g = v + 1016/1887. Is g greater than 0?
True
Let p be (-2407)/(-1276) + (-1)/4. Let g = -38.6 - -25.6. Are p and g equal?
False
Let r = -5907 - -5907. Is 3795 at least as big as r?
True
Let h = 405 - 122714/303. Let o = 601/1515 + h. Is -35 bigger than o?
False
Suppose 35 = 17*q - 67. Suppose -2*v + q = 2*a, v + 4*a - 11 = -2*v. Suppose 3 = -3*t - 9. Which is greater: t or v?
v
Suppose -11 = -5*s + 4. Let t be -111*8/(-468)*(0 - 6). Let x = t - -1179/91. Is