: y or i?
y
Let n be (-16)/(-24) - 14/(-6). Let i be 12/((-3)/(((-63)/6)/7)). Let h be (2/(-6))/((-4)/306*i). Which is bigger: n or h?
h
Let z = 383.4 - 383.4. Is 1/3079 bigger than z?
True
Let w(i) = 4*i**2 + 6*i - 31. Let c be w(4). Let f be (-5)/(-50)*(c + -3). Which is smaller: 5 or f?
5
Let h(b) = -b**3 - 10*b**2 - 25*b - 274. Let j be h(-10). Which is bigger: j or -21?
-21
Let y = -5963 + 5963. Which is greater: -11/287 or y?
y
Let x be ((-6)/4)/(-5 + -8735*8/(-14000)). Are x and 1043/6 unequal?
True
Let y = -4.0971 - 0.0729. Let l = -0.67 - y. Let p = 3.5 - l. Is -32 less than p?
True
Suppose 157 + 33 = -2*z + 5*c, 6*z + 3*c + 606 = 0. Is -102 > z?
False
Let a(w) = w**3 + 0*w**3 - 2*w**3 - 18 - 12*w - 158*w**2 + 168*w**2. Let y be a(8). Is 16 not equal to y?
True
Let y = -2727 + 3260. Which is smaller: y or 531?
531
Let t(h) = 2*h**2 + 105*h + 1301. Let p be t(-33). Suppose 4*g = m + 12, 3*g = -0*m - m + 16. Let x be (g/p)/(81/315). Is 0 > x?
False
Let j be 108/(-2790)*(-20)/(-2336)*4. Which is smaller: j or -1?
-1
Let c(a) = 30*a - 11. Let j(w) = -3. Let y(q) = -c(q) + 5*j(q). Let z(u) = u**3 - 4*u**2 + u - 2. Let b be z(4). Let i be y(b). Which is bigger: i or -65?
i
Suppose -20 = t - 6*t. Suppose 25*w = 29*w - 8. Suppose 5*o = 5*c, c + 3*o = -w*o + 12. Is c equal to t?
False
Let k = -111/4 - -311/12. Let c = 1531 + -1533. Which is smaller: c or k?
c
Let v(f) = 15*f + 29. Let y be v(5). Let w = -104 + y. Suppose 3*h + 0 = -w. Which is bigger: 0.3 or h?
0.3
Let y = -2.24 - 230.76. Let a = 229 + y. Are a and 1 equal?
False
Suppose j = -5*j + 156. Suppose 3*u - 3*y - 7 + 109 = 0, -u - j = y. Let l = -30 - u. Which is smaller: -3/23 or l?
-3/23
Let u be (1 + (-45)/35)/(((-114496)/56)/4). Which is smaller: u or -1?
-1
Let x = -0.109 - -0.264. Let a = x + -28.955. Let v = -29 - a. Does v = 7?
False
Let j = 0.09808 + -0.03598. Which is smaller: j or -2?
-2
Let w = -101359/3 - -33252. Is -535 != w?
True
Let x = 1514 - 1494. Suppose -2*z + 37 = 5*h, 0 = -z - z + h + 43. Which is smaller: x or z?
x
Let u be (-171)/399 + (-450)/(-854). Let o = 1030 - 1031. Do u and o have the same value?
False
Let y be (-2642)/3 + 8/12. Let d be (-8)/(-20) - 374508/y. Let r = -426 + d. Which is bigger: r or -1?
r
Let h = -136 - -33. Let b = 83 + h. Which is smaller: -1/4 or b?
b
Let n be 21 + (-220)/20 - 1*2739. Is -2729 != n?
False
Let c = 15.8 - 15.74. Let j = -0.34 - c. Is 14 > j?
True
Suppose 2*n - 26*o + 6520 = -28*o, n - 2*o + 3275 = 0. Which is bigger: -3267 or n?
n
Let l(s) = s**3 - 4*s**2 - 3*s - 43. Let n be l(8). Which is greater: n or 1329/7?
1329/7
Suppose -3*k + 18 = 3*r, -5*k + 2*r = 4*r - 15. Let u = 52768 + -22109794/419. Which is smaller: k or u?
u
Suppose 5*n + 10 + 15 = 0, 4*t + n - 3 = 0. Let w be ((-3)/t)/((-21)/112). Suppose -w = 6*m + 232. Is -39 <= m?
False
Suppose 9*w - 14*w + 20 = 0. Suppose 54 = -3*z + 5*k, z = -w*k + 22 - 23. Is z at most -13?
True
Let t = -178.1 + 169. Let a = -10 - t. Let i = -0.02 + -1.98. Is a at least i?
True
Let v(h) = -h**3 - 6*h**2 + h - 24. Let c be v(-6). Let s be (3/(-33))/((-88)/c + -3). Is 1 at most as big as s?
True
Let j = -45 - -47. Suppose 4*v + 12 = -4*s, v + s = j*v + 3. Let t be -2 - -1*(2 + v). Which is greater: t or -11/6?
-11/6
Let q be (-11)/((-385)/10) + 7638/21. Let o = 2179/6 - q. Which is smaller: -2 or o?
-2
Suppose -w = -0*w - 38. Let x = -223/12 + 73/4. Is x smaller than w?
True
Let c = -822 - -804. Let o be 4/c - (-75)/(-27) - -9. Which is bigger: o or 11?
11
Let c(b) = -b**3 - b**2 - b + 32. Let d be (-2 - 22/(-10)) + (-3)/15. Let j be c(d). Let t = 7 - j. Which is greater: t or -26?
t
Let z = 576 - 580. Let w be z/(-2)*17*12/36312. Which is bigger: w or -1?
w
Let u = 1.5 - 0.75. Let f = -49.25 - u. Let c = f - -50.1. Which is bigger: c or -54?
c
Let h be (69/(-30))/(3/(-30)). Suppose -2*l - z - 13 = 0, 3*l + 5*z = -l - h. Let r = 0 - 2. Is r equal to l?
False
Let o = 313179221/1853 - 169012. Which is greater: o or -1?
o
Let g = 2560 - 89599/35. Let v = -44 + 47. Is g less than or equal to v?
True
Let n(f) = -f**3 - 3*f**2 + 23*f + 16. Let p be n(-6). Let i be p + (-3)/(42/(-4)). Is -13 bigger than i?
True
Suppose -401 = -22*o + 743. Which is greater: -1/5 or o?
o
Let z = -1028.82 + 1421.82. Let v = 0.3 + -0.2. Which is smaller: z or v?
v
Let u be (-6 - -1)/(-15)*(6 + -5 + -4). Does u = 7/786?
False
Let z be 5 - (-8 + 4)/(-2 - 2). Suppose -z*v - 2*m - m - 41 = 0, -3*m - 49 = 5*v. Is -20/3 at most as big as v?
False
Let g(h) be the second derivative of -5*h**3/2 + 165*h**2/2 + 10*h + 4. Let b be g(11). Is b > 32?
False
Suppose -v = -4*l + 9*l - 14, 5*l - 12 = -3*v. Let t(g) = g**2 - 10*g + 21. Let m be t(l). Which is greater: -2/65 or m?
m
Let b(v) = -7*v - 17. Let d be b(-4). Suppose -3*x + d = -4*h, 5*h - 22 = 3*h - 4*x. Is h equal to -3?
False
Let b = -6 + -4. Let a be ((-5)/10*-9)/(b/(-4)). Is -2 > a?
False
Let p = 3945 + -3960. Which is smaller: p or -97/6?
-97/6
Let s = 193 + -277. Let y be (14/(-4))/(49/s). Which is smaller: -53 or y?
-53
Suppose 4*g + 7 = 423. Suppose 565 = -4*z + 5*p, -284 = 163*z - 161*z - 2*p. Let o = z + g. Is 1 greater than or equal to o?
True
Let o be (348/435)/(4/370). Which is smaller: 64 or o?
64
Let c = 3.6985 - 5.7985. Let f = 4 - 4.1. Which is smaller: c or f?
c
Suppose 3*s + 113 = -97. Let x = 32 + s. Let r be x - (2 + 0/(-4)). Do -39 and r have different values?
True
Suppose -4*z = -12, -4*z + 39 = -0*w + 3*w. Suppose 92*h = 95*h - w. Which is bigger: 20/9 or h?
h
Suppose 0 = -k - 3*y - 243, y + 2*y = -12. Let c be 220/(-238) - 132/k. Do -1 and c have the same value?
False
Suppose -2*z + b - 5 = -3*z, -2*b + 10 = 5*z. Suppose 0 = 3*m - 2*f - 112 + 34, z = f. Suppose 28*n = m*n - 30. Are n and -15 non-equal?
False
Suppose -o - 3 = -g, 3*g + o = -4*o - 7. Suppose -2*x = 3*h + 2 - g, -5*h = x - 3. Suppose s - h = 12. Are 14 and s equal?
False
Let v = 3 + 1. Let t be (12032/1692)/((-56)/(-36)). Which is smaller: v or t?
v
Let c(k) be the second derivative of -17*k**3/3 + 58*k**2 - 33*k. Let y be c(0). Are 116 and y unequal?
False
Let x be 3/2812*196/147. Which is smaller: x or 4?
x
Let a = -0.04 + 0.03. Let l = -75.01 - a. Let u = -75 - l. Which is smaller: -16 or u?
-16
Let u = -312 + 438. Let i be (-6)/(-9) + -2*69/u. Is i < 0?
True
Suppose 43 = -2*q + 45. Let n = -2.75 - 0.75. Let h = 3.5 - n. Do q and h have different values?
True
Let w = -376 + 632. Let p = 227 - w. Which is greater: -30 or p?
p
Let f be (534/110*1 - 1) + -2. Which is bigger: 2 or f?
2
Suppose 0*a - 476 = -4*a. Let l be (120 - 1*-2) + 6 + 24/(-3). Which is bigger: a or l?
l
Let q = -2798.0478 + 0.0478. Is 0 at least as big as q?
True
Let k = 3799662119/9259 + -410375. Is 1 at most k?
False
Suppose -229*p = -174*p + 2695. Is -2 at most as big as p?
False
Suppose 2*s - 6*t + 3*t = -13, -2*s = -t + 3. Which is bigger: s or 1/955?
s
Suppose -53*s - 4370 = -30*s. Which is smaller: s or -2097/11?
-2097/11
Suppose 640*f = 670*f + 61830. Is -2060 > f?
True
Let q(o) = -2*o + 129. Let c be q(-13). Suppose -5*z - c = 5*t, -4*t = -2*z - 5*t - 57. Is -35 less than or equal to z?
True
Let b(d) = d**3 - 37*d**2 - 38*d + 4. Let x be b(38). Do x and 38 have the same value?
False
Let n(q) = -3*q - 40. Let x(w) = 1. Let b be 2/(-8) - 30/(-24). Let v(g) = b*n(g) - 5*x(g). Let k be v(-16). Which is bigger: -3 or k?
k
Let x = 1.5 + -8.5. Let m = 0 - x. Let k = -243.11 + 242.91. Which is bigger: k or m?
m
Let z = 0.9 + 0.3. Let k = -145.9617 - -0.0617. Let s = k + 146. Is s equal to z?
False
Let s = 2836 - 2972. Is -543/4 less than s?
False
Let s = 34.08 - 22.08. Let t = -0.5 - -0.5. Is t greater than s?
False
Let r(c) = -17*c - 98. Let w be r(-6). Suppose -w*o = 3*h + 69, h - 12 = -2*o + 3*o. Is o < -7?
True
Let x = -177.945 - -178.48. Suppose -2*d - 4*f = 6 + 6, 5*f = 3*d - 15. Which is greater: d or x?
x
Let l = -181.85 + -4.15. Let b = -186.1 - l. Let s = 7 + 0. Is b less than s?
True
Suppose 13*t - 4470 = 2849. Are 563 and t equal?
True
Let y = -4586 - -4508036/983. Let p = y + 17728/16711. Is 0 at least p?
False
Let z = 710.02 + 1.98. Which is smaller: -1/3 or z?
-1/3
Let n be (4/530)/((-1)/15). Suppose -12 + 56 = -119*b - 75. Which is smaller: n or b?
b
Let u = -43/78 + -50/39. Does u = -51