 bigger: -3/182 or u?
-3/182
Suppose i + 4 = 0, 2*j + 3*i + 8 = j. Suppose 0 = -14*f + 12*f + 2. Suppose -u + 2 = -h + 3, j*h = -u - f. Is 2 at least as big as h?
True
Let n be ((-100)/(-35) - 3)*(-85467)/(-117). Let m = n + 313/3. Which is greater: -1 or m?
m
Let d be ((-2)/(-6))/(-2 - (-365)/180). Let g(m) = 3*m - 32. Let s be g(d). Suppose s*v - 14 = 2*f, -3*f - 4 = -3*v - 1. Which is bigger: v or -1?
v
Let p(b) = 6*b**2 - 3*b. Let c(o) = -5*o**2 + 2*o + 1. Let j(d) = -4*c(d) - 3*p(d). Let k be j(2). Which is smaller: -2/5 or k?
-2/5
Suppose -6 = -6*v - 0. Suppose -15*i + 16*i = v. Let p = 2021/10469 - -5/361. Are p and i non-equal?
True
Let i = -34037 - -33432.5. Is i less than 0.1?
True
Let k be 12/(-54) + (-112)/144. Let m be ((-4)/(-112)*-6)/(30/105). Which is bigger: m or k?
m
Let b be ((-20)/(-6) - 3) + 1250956/(-129). Is b < -9696?
True
Let o = -24/23 + 257/92. Let m be ((-1525)/470 - -3)*2. Let g = 1/94 - m. Which is smaller: o or g?
g
Suppose 2*t - 2*f + 4726 = 1320, 0 = -2*f - 16. Which is smaller: -1713 or t?
-1713
Let c = 0.235 + -0.342. Let w = 1.893 - c. Are w and 1/3 nonequal?
True
Suppose 0 = -5*j + 5*f + 4880, -1126 - 1807 = -3*j - 2*f. Let y = j - 749. Is y greater than 227?
True
Let n = 117.9299 + 0.0601. Let f = n - 118. Which is smaller: f or -2/19?
-2/19
Let o = 16479 - 16479.5. Let x be -1 + 1*(-17)/(-3). Which is smaller: o or x?
o
Let z(c) = -6*c**3 + 4*c - 4. Let m be z(1). Let w be ((-1023)/(-62))/(m/2). Is w bigger than -6?
True
Let x = 375.739 - 376. Let r = 14.739 - x. Is -1 greater than r?
False
Let n = -1084.0597 - -0.0597. Let l = n - -1084. Let a = 7 + -27. Which is bigger: l or a?
l
Let h be 2/6 - 2/6. Let o be (1 - 84/70) + 1/(-3015)*-573. Is h not equal to o?
True
Let t = -58.5 - -40. Let c = t - -19. Let s = -5.3 + 5. Which is greater: c or s?
c
Let j = 17908109038444112781700304380855/21119812861 + -847929342760103577875. Let i = j - -113/1157821. Let y = -2/1073 + i. Is 0 bigger than y?
False
Let b be (2982/(-125271))/(56/(-2352)) + 2 + -3. Is b smaller than 1?
True
Let l be (15 + (-18039)/1204)/(6/16). Let y = 50 - 648/13. Which is smaller: l or y?
l
Let r be (-3)/1633*328/246. Is r < 0?
True
Let z = -40 + 108. Suppose 4*c + 3*u - z = 0, -4*c - 4*u + 42 + 26 = 0. Let l be c*3/90 - 4/24. Is 0 greater than or equal to l?
False
Let r(z) = -921*z**2 + 8*z + 62. Let y be r(2). Does y = -3607?
False
Let y(d) = -29*d + 1043. Let o be y(35). Which is greater: 59 or o?
59
Let h = 1305.9 + -1301. Let k(g) = 8*g - 27. Let l be k(3). Which is bigger: h or l?
h
Let d = 99 + -86. Suppose 5*b = 15, y - d = 3*b - 2*b. Suppose -12*v = -13*v + y. Is 18 at most as big as v?
False
Suppose -4*s + 1 = -19. Let o be (-3)/(s*(-4 - -11)). Let y = o + 29/420. Which is smaller: 0 or y?
y
Suppose -24*g - 4137 + 6029 - 24020 = 0. Is -918 less than g?
False
Suppose 0 = -2*j - 10. Let w be (-1813)/(-35) - 1/j. Suppose 5*b - 16*b = -561. Which is smaller: w or b?
b
Let h(j) = j**3 + 17*j**2 + 29*j - 13. Let r be h(-15). Let w be 28/1498*(-1)/r. Which is greater: w or 0?
0
Let c(j) = -69*j + 256. Let f(p) = -23*p + 85. Let r(i) = 4*c(i) - 11*f(i). Let b be r(4). Which is smaller: b or -10?
-10
Let a(t) = t**2 - 3*t - 21. Let n be a(-3). Let g be (-79)/(-4) - (n/12 + 1). Let q(c) = -c**3 - 5*c**2 - 5*c - 10. Let z be q(-5). Which is smaller: z or g?
z
Let s(j) = -57*j + 8*j**2 - 27 - 48*j**2 + 42*j**2. Let k be s(28). Which is greater: -53 or k?
-53
Let w = 52.81 - -14.86. Is -0.1 at least as big as w?
False
Let h = -306.8 - -287.2. Let a = -0.18 - 0.82. Is h less than or equal to a?
True
Let v = 5 - 4. Let z(a) = -17*a + 120. Let g be z(6). Let h be (-2)/((-24)/g) - v. Which is smaller: h or -5/4?
-5/4
Let y = 1579 + -1578.8. Which is smaller: -1/319 or y?
-1/319
Let f = -4/991 + -244733/10901. Is -23 less than f?
True
Let l = -0.005 + 1.7616. Is l smaller than 0?
False
Let k = 257 + -269. Let v be (-54)/(-2310)*(-20)/k. Do -1 and v have the same value?
False
Suppose 0 = 2*t - 6*t - 8. Let k be (-24 - -18)/(t/(-4)). Is k less than -10?
True
Suppose 5*v + 8*v - 78 = 0. Let c = v - 6. Let y be 3/(-64)*(-8)/2. Which is smaller: y or c?
c
Let d(v) = -2*v + 46. Let x be d(21). Suppose -x*r - 4 = -2*r. Which is smaller: -11/9 or r?
r
Let y be 425/10*7/(140/(-32)). Let u(w) = -7*w - 14. Let s be u(8). Which is bigger: s or y?
y
Let b = 40577 + -403823/10. Is 195 at most b?
False
Suppose -532304 = -4*k + 5*r, -2*r - 133079 = -k - 0*r. Let x = k - 3191111/24. Let g = x + -108. Is g <= -1?
False
Let m = -1/1600 - 53599/1600. Suppose 0 = 3*o - 0*o + 6. Which is bigger: o or m?
o
Let l = -13 + 56. Let z = 43.016 - l. Let q = 1.684 + z. Is 0.1 less than q?
True
Suppose b + 4*i - 63 = -207, -4*i = 8. Which is bigger: -134 or b?
-134
Let k = 70.6 - 12.6. Let d = 181.59 + -183.59. Which is smaller: d or k?
d
Let b = -1599 + 1598.961. Let p = 0.06 + -0.121. Let m = b + p. Which is greater: m or 20?
20
Let r be ((-60)/(-4) - -4)/1. Suppose 12*q - 9*q - 6 = 0. Let a(o) = 6*o**2 - 2*o - 2. Let p be a(q). Which is greater: p or r?
r
Let f(y) = -y**3 - 4*y**2 + 13*y - 36. Let l be f(7). Let b be -4 + (-4)/(464/l). Is 1 less than b?
False
Suppose 30*y + 365 + 835 = 0. Let s be 58/y + ((-32)/(-40))/4. Which is bigger: s or -0.05?
-0.05
Let x = -26470 + 26470. Which is greater: x or 7/3819?
7/3819
Let c(f) = -f + 1. Let u(y) = -3*y + 7. Let z be u(2). Let p(q) = -q**2 + 4*q - 4. Let o(b) = z*p(b) + 4*c(b). Let t be o(2). Which is bigger: -3 or t?
-3
Let q be ((-4)/10 - 72/120) + 2. Let b be (-14)/(-4) + 4/(-8). Let r be b + -3 + 3/183. Which is bigger: q or r?
q
Let j = 46.3 - 47.45. Let b = -0.15 - j. Which is smaller: -71 or b?
-71
Let y be (2/(-35) + 0)*-10. Let v(j) = 258*j**2 + 4*j + 4. Let n be v(-1). Let r = n - 259. Is y at most r?
False
Let u = -67 + -132. Let s = -197 - u. Which is smaller: s or 30/11?
s
Suppose 2*x = 2*b + 8, -b - 2*b + 23 = 4*x. Let r be ((-28)/88 + 8/(-44))*-476. Let h be (32/(-6))/(r/(-21)) + 2. Is h at least as big as b?
True
Let u = -12/121975 + 110979837/121975. Which is smaller: u or 911?
u
Suppose -4*d - 22 = 3*t, 0 = 38*t - 40*t - 12. Let l(r) = -8*r**3 - 3*r**2 + r + 2. Let h be l(-2). Do d and h have the same value?
False
Suppose 0 = -2*a, -2*f - 3*a + 1040 = -8*a. Suppose -5*b + 5*w + 668 = w, -4*b - 4*w + f = 0. Are 131 and b non-equal?
True
Suppose 436*r + 252*r = -307536. Which is greater: -434 or r?
-434
Let j be 66*(-12 - 99/(-22)). Which is bigger: -498 or j?
j
Let j = 12/28991 - 1111606/24033539. Are j and -1 non-equal?
True
Let s(k) be the first derivative of k**3/3 - k**2 - 10*k + 29. Let n be s(6). Let i be (2 + -1)*(n + -99). Are i and -85 non-equal?
False
Let i(k) = 7*k + 301. Let m be (-6 - -5)*5 - 38. Let q be i(m). Let z be ((-5)/2*2)/6. Which is bigger: q or z?
q
Let u = 419 - 156. Let p = 263 - u. Does -12/23 = p?
False
Let d be (-42)/(-7)*-1 + 11*66. Suppose -d = 6*b - b. Do b and -141 have different values?
True
Let f be (534/(-48))/1*-4. Let q = f + -44. Which is smaller: 7 or q?
q
Let s = 4311/14 + -843/7. Let c = 190 - s. Is c > -15?
True
Let j = -1628 - -1628. Which is bigger: j or 5/2088?
5/2088
Let n = 4355448207/12218 + -356478. Which is greater: n or 0?
n
Suppose -204983*v + 205397*v = -1656. Let g = -2206 + 19813/9. Is v equal to g?
False
Suppose -3*p - 2*p - 90 = 0. Let j = p + 8. Let s = 18 + j. Is s less than or equal to 8?
True
Let b(p) = -2*p - 12. Let m be b(-10). Suppose -5*n - 120 = m*k - 3*k, 3*k + 73 = -2*n. Is -24 greater than or equal to k?
True
Let d = -1178/9 - -7565/36. Which is greater: 80 or d?
80
Suppose 4*m + a + 4 = 0, m - 9*a + 8 = -11*a. Suppose 4*x - 7*x - x = m. Which is bigger: -8/35 or x?
x
Let f = 38930 + -38950. Do 0.0331 and f have the same value?
False
Let n = -443/2265 - 2/453. Which is bigger: n or -278?
n
Suppose -3*f + 2 = -31. Let u(v) = -2*v**2 + 14*v - 14. Let l be u(f). Let j = l + 104. Which is greater: j or -9?
j
Let o(w) = w**3 - 12*w**2 - 56*w + 356. Let s be o(13). Which is bigger: s or -197?
-197
Suppose 3*a = 5*s + 225 + 310, 525 = 3*a - 3*s. Let h be a/6 + (-9)/27. Which is smaller: 30 or h?
h
Let y be 10488/30 - (-1 + 5). Let w = y - 7457/20. Which is bigger: -28 or w?
w
Suppose 0 = -31*o + 29*o + 314. Let x = -145 + o. Suppose -j + 2 = 5*