0). Which is smaller: v or y?
v
Let v be ((-2)/66)/((480/20)/72). Suppose 25 = 3*o - 4*y, -2*y - 3*y = 5*o + 5. Which is smaller: o or v?
v
Suppose 108 = 5*t - 427. Let h(o) = -30*o - 39. Let a be h(-5). Suppose 0 = -2*f + 3*k + 111 + a, 436 = 4*f - 2*k. Is t at least f?
False
Let j be 15/78*116/(-145) - (-12)/(-91). Which is bigger: 1/201 or j?
1/201
Let t = -32 + 125. Let o = t - 37. Let w = o - 50. Is 4 greater than w?
False
Let k = -254 + 257. Suppose c + 2 = 2*i, -11*c + 15*c = k*i - 3. Which is smaller: 2/305 or i?
2/305
Let v be (-8)/(-142476)*(-7 - (-20)/5). Which is greater: v or 1?
1
Suppose 5*u = -2*l + 18*l, 3*u = 0. Which is bigger: 23/47 or l?
23/47
Suppose 60*a + 503 = 563*a. Which is bigger: -2/10455 or a?
a
Let w be ((-747)/(-27))/(3 + 19/(-3)). Let t = w - -8. Is -12 < t?
True
Let p = -34.8501 + -0.0499. Let h = p - -31.9. Are h and 7 equal?
False
Let d be (-11*(-28)/33880)/(8/95). Does d = -1?
False
Suppose 3*q - 3*s + 6 = 0, -q + 14*s - 5 = 12*s. Is q > -9/46?
True
Suppose 125223 = -39*c - 28*c. Is -1869 less than or equal to c?
True
Let q be (-78)/(-9)*30/(-4). Let z = 70 + q. Suppose z*m + 5*y + 10 = 50, -25 = -2*m - 5*y. Which is greater: -0.2 or m?
m
Let n = 532 + -514. Suppose -f = y + 14 - n, -4*f + 16 = -5*y. Which is smaller: 21/46 or y?
y
Let t be ((-1990)/10 - (-1 - -5))/(2 - 0). Which is smaller: -102 or t?
-102
Let b(a) = -2*a**3 - 13*a**2 - 43*a - 669. Let s be b(-9). Let r = -4 - -127. Is r greater than s?
False
Let g(i) = -i**3 - 6*i**2 - 4*i + 6. Let p be g(-5). Let u = -280 + 279. Let w(o) = -4*o**3. Let q be w(u). Are q and p equal?
False
Let h(a) = 8*a - 2. Let z be h(2). Suppose 0 = 2*r - v - 35, -15*v + 49 = 4*r - 10*v. Let i = r + 0. Do i and z have different values?
True
Let v = -3816 + 3819. Which is bigger: v or 2.32?
v
Let q(w) be the third derivative of -w**6/120 + w**5/6 + 2*w**4 + 13*w**3/6 + w**2 - 21*w. Let f be q(12). Is f <= 301?
True
Suppose -q + 48 = 2*k, -5*q - k + 249 = -0*q. Let j = -43 + q. Suppose 2*t - 5*n = 10 + j, -n + 51 = 3*t. Are t and 15 unequal?
True
Suppose 0 = -4*a - 2*k + 708, 26*k = a + 30*k - 163. Is 174 not equal to a?
True
Let m = -60.4754 - -60.11. Is -1/4 smaller than m?
False
Suppose -2743 = 8*t + 569. Let v = t + 408. Is v less than or equal to -1/33?
True
Suppose 24*h - 3*h - 63 = 0. Suppose 4*y - 2*x + 3*x - 11 = 0, 0 = 3*x + h. Suppose -5*w + 0*w = 0. Which is smaller: y or w?
w
Let x = 14935/12 + -125093/100. Is x less than -5?
True
Let c be (102/(-153))/((-2)/933). Let g = c - 288. Does 35 = g?
False
Let q be (-15)/(-9)*3225/50. Let w(f) = 35*f + 2. Let s be w(3). Which is greater: s or q?
q
Suppose 120 = -136*r + 130*r. Let l be r/13*(-66)/44. Is l greater than -0.2?
True
Let z(b) = 19*b. Let s be z(-3). Suppose -3*j = -13*j + 240. Suppose 1528 = -j*h + 136. Which is bigger: h or s?
s
Let r = -10355 + 10361. Which is bigger: -0.416 or r?
r
Let g(b) = -2*b**2 + 3. Let u be g(4). Let h be (-35)/1 + ((-24)/(-18))/(56/126). Which is bigger: u or h?
u
Let s = 9 - 17. Let m be (-256)/64 + 978/40 + 0. Let w = -136/5 + m. Do s and w have the same value?
False
Let k = -3363 - -3036.9. Let u = k - -326. Let r = 0.42 + -53.42. Is r at most as big as u?
True
Suppose -6*w + 5*w = 3, 4*b - 5*w - 15 = 0. Suppose b = 6*t + 19 - 7. Which is smaller: t or -9/5?
t
Suppose -5*j = 5*x + 270, 4*x + 246 - 32 = -5*j. Which is smaller: x or -41?
x
Let j be (8732/582 + -15)/((-1)/3)*241. Which is greater: j or -1?
-1
Suppose f + 650 = 149 - 661. Which is greater: -1161 or f?
-1161
Let a = 0.7713 + 12.0467. Let r = a - -0.182. Is 4 > r?
False
Let y(l) = l**3 - 17*l**2 + 44*l - 27. Let o = 952 + -938. Let c be y(o). Let k be -6*1*2/3. Which is greater: c or k?
c
Let g = -588 + 631.5. Let r = 42.5 - g. Which is smaller: r or -28?
-28
Suppose 215 = -22*c + 24*c - 3*b, -3 = 3*b. Which is greater: c or 1?
c
Let b be (-12)/(-1 + 5) + 1 + 0. Let d be b - ((-172)/28 - -4). Is d at least as big as 0?
True
Let n = -571.6 + 569.6. Which is bigger: n or 2010?
2010
Suppose -14*j + 7*j - 154 = 0. Let b be 4/j - 10/(-1540)*2228. Which is smaller: 13 or b?
13
Let d be (-447)/22 + 23/(-18) + 2/(-9). Is -21 greater than d?
True
Let h = 1588/11 - 39194/275. Which is smaller: 3 or h?
h
Let g = -9 + 4. Suppose 1199*z + 9580 + 6392 = -11049 + 1842. Is z >= g?
False
Let q = 2/31543 + 47624/243858933. Which is bigger: 0 or q?
q
Let b = -2.136 + -12.964. Let k = -2 - -1. Is k smaller than b?
False
Suppose 8*s = -2*r + 11*s + 6, 2*s = 3*r - 4. Suppose r*o + 354 = 6*o. Are o and 59 equal?
True
Suppose -19 = 13*r - 6. Let m be 20*r/(-2)*75/3. Suppose -m = -4*u + 2*d, 4*u - 4*d = 150 + 110. Do 60 and u have the same value?
True
Let j(m) = m**3 - 10*m**2 + 10*m + 18. Let k be j(7). Let w = 56 + k. Let x = -2 - 0. Is x < w?
False
Let p(t) = -186*t - 5839. Let f be p(-58). Is f <= 4947?
False
Suppose -19*m = -24*m + 20. Suppose -m*u + 64 = 48. Let g be (20/u + -10)/4. Is g less than or equal to -0.2?
True
Let j be 8 + (-4 - 2) - (-9912)/(-1628). Let p = 42/11 + j. Which is bigger: 0 or p?
0
Let n(z) = z**3 + 2*z**2 - 5*z + 4. Let k be n(3). Let b be -3 + (-3)/(-30)*k. Suppose 5*q - 3*t = 14, -5*q + 9*q = 2*t + 10. Is b bigger than q?
False
Let u = 1.66 - 2.055. Let y = -0.075 + u. Is 2/3 smaller than y?
False
Let z be (2/(10*-1))/(-11 - 6955280/(-632300)). Which is greater: z or 6322?
z
Let w = 149 - 112.3. Let o = w - 38.7. Which is bigger: 18 or o?
18
Let b = 8.78 - 4.78. Suppose -26 = -3*q - 4*f, 2*q - 3*f - 2*f + 21 = 0. Let g be (-182)/13*1/q. Which is smaller: g or b?
g
Let x = -0.63 - -7.73. Let u = 7.9 - x. Let j = u + 10.2. Does 2 = j?
False
Suppose 76*f - 70*f = -2046. Is -341 at least as big as f?
True
Let k = -2481 + -385. Which is greater: k or -2867?
k
Let p = 0.131 - 104.131. Let o = 104.47 + p. Let j = 0.67 - o. Which is bigger: -3/2 or j?
j
Suppose -4*n = -0 - 8. Let h be ((-1)/2)/(1/n). Let r = -175228 + 7885264/45. Which is smaller: r or h?
h
Let j = 1089 + -663. Let i = j + -474. Which is smaller: i or -0.4?
i
Let b = -220 - -97.4. Do 1 and b have the same value?
False
Let l = 1440 - 1440. Are 1/2444 and l equal?
False
Let k = 0.0104 - -5.2996. Let z = 4.8 - k. Let b = -0.21 - z. Is -2/3 at least as big as b?
False
Let b(p) = -1643*p**2 - 7*p. Let m be b(-1). Which is smaller: -1635 or m?
m
Let r be 3512052/360 + 22 + (34/(-20) - -2). Is r less than or equal to 9777?
False
Let u = 13.475 - 13. Let j = u - 0.35. Let i = 0.015 - j. Which is greater: 1/3 or i?
1/3
Let z = -0.661 - 363.339. Let s = z + 364.4. Is -67 bigger than s?
False
Let i = -11.398 - 2.602. Is 0.04 smaller than i?
False
Let u = -3.5 - -0.5. Let p = -2.879 - -0.179. Let y = p - u. Is y greater than or equal to -6?
True
Suppose a = -0*a + 3*s - 2, -a = 4*s + 30. Let h be ((-33)/(-154))/(72/a). Is h at least -1?
True
Let y = -4718 + 4721. Which is smaller: -413 or y?
-413
Let c be (-2)/(-8) + (-159)/540. Let b be (-1*2)/((-141)/(-141)). Is b equal to c?
False
Suppose -2 = 7*g - 30. Suppose 2*b = o + 3*o - 14, g*b = 3*o - 18. Suppose 0 = -2*z + 4*z + 2*f + 2, -2 = o*z - f. Is -3 at most z?
True
Suppose 5*c + 5*z = 0, z = -4*c + 2*c. Let f = 90/7351 + 32071063/110265. Let k = f + -291. Is c at most as big as k?
False
Let a = 8/651 - 367/434. Do 2.02 and a have different values?
True
Let z be 18/(-8) - 5183/(-2556). Which is bigger: 2.71 or z?
2.71
Suppose -2*c = 4*k - 5046, 5*k + 52*c - 55*c = 6280. Which is smaller: k or 1258?
1258
Let v(i) = i**3 + 18*i**2 + 34*i + 46. Let w be v(-16). Let f = 20 + w. Which is bigger: 5 or f?
f
Let n be (-246)/20 + (-1)/(-2). Suppose -5*d - 56 = -4*t, 0 = -7*d + 155*t - 156*t - 85. Is n smaller than d?
False
Suppose 0 = 2*l - 3 + 9. Let x = 400/41 + -61019/123. Let f = -488 - x. Is l > f?
False
Let i = -125 - -43. Let q = i + 78. Is q at least as big as -4?
True
Let v = 1613 - 1646. Which is smaller: v or -298/9?
-298/9
Let w = 0.33 - 24.33. Let v = -48 + 49.5. Let k = v + -1.4. Which is smaller: w or k?
w
Let s = -8155/4 + 2028. Suppose -90*l + 86*l = 44. Which is smaller: l or s?
l
Suppose -6809 = i + 5*t, -280*t - 6829 = i - 285*t. Is -6818 > i?
True
Let m(z) = -z**3 - 7*z**2 - 10*z + 1. Let s be m(-5). Let g be 9867/51285 + (1 - (-18)/(-15)). Which is bigger: g or s?
s
Let q be ((-3)/(-11))/(