/150 - -2). Which is smaller: 80 or v?
80
Let x(m) = -m**3 + 13*m**2 - 9*m - 15. Let h be x(11). Let v be (-190)/(-14) - h/224. Let w be v/(-28) + (-2 - (-48)/21). Is w not equal to 0?
True
Let l be (1412 + -18 - 10) + -4. Is 1381 != l?
True
Suppose 25*i = 28338 - 15238. Is 522 at most i?
True
Let p = 1609/451 - 27/41. Let d(o) = 2*o - 2. Let j be d(3). Suppose 6 = j*i - a - a, -a - 1 = -i. Which is bigger: i or p?
p
Suppose 4*q = 5*a - 11, 5*a + 12 = -3*q - 5. Let y = -476.5 + 423. Let v = 54.41 + y. Do a and v have the same value?
False
Let i = 86/5 - 17. Let r be -4 + 3 - (-124)/1. Let g = -243/2 + r. Which is bigger: g or i?
g
Suppose -a - a = l, 344*a + l = 346*a. Which is bigger: a or 2/41789?
2/41789
Let l = -12/31 + 1562/3875. Suppose -15*a + 12 + 3 = 0. Is a < l?
False
Suppose -5*w + 2*m = -2*w - 1349, 0 = -3*w + 5*m + 1361. Let t be (196/(-294))/(2*(-1)/w). Which is greater: t or 150?
150
Suppose 15*z = 162*z. Which is smaller: z or 21.26?
z
Let k(f) = -f**2 - 5*f + 90. Let g be k(6). Is g < -2?
False
Let v = 181 - 17198/95. Suppose -5*u + 2*k - 2 = 0, 5*k = 2*u + 3 + 2. Which is smaller: u or v?
v
Let u(b) = -4*b**2 - 5*b + 8. Let m be ((-4)/(-10))/((-66)/(-30) - 2). Let r be u(m). Is r > -21?
True
Let y = 17841 - 16341. Is 2 less than y?
True
Suppose 0 = p - 5*i + 51 + 374, -5*p = 4*i + 2067. Let g = p - -406. Which is smaller: 2 or g?
g
Suppose -i - 2*s = 57, 3*i + 64 + 107 = -s. Which is bigger: i or -31?
-31
Suppose -3*t + t = -62*t + 55920. Which is greater: 925 or t?
t
Let j = 10.7 + -10.6. Let i = -98 + -53. Is i at most j?
True
Let h be (-98)/(-12) - 10/60. Let n(o) = -28. Let k(r) = -r - 29. Let s(a) = 2*k(a) - 3*n(a). Let b be s(8). Which is smaller: h or b?
h
Suppose -90 = -3*j + 63. Let c = 483 - 553. Let x = c + j. Is x < -18?
True
Let f = -154 + -19. Let m = f - -276. Is 102 smaller than m?
True
Let t = -75.26 + 79. Let f = -0.26 - t. Is f smaller than -0.9?
True
Suppose f - 4*g + 0*g = 15, 3*f = 3*g + 9. Is 19/39 != f?
True
Let b = 6296 - 6290. Is b at most as big as -103?
False
Let n be (6221*(-3 - -1))/(-2). Which is smaller: 6222 or n?
n
Let s = -1479.123 + 1492.1. Let q = 13 - s. Let b = q + -0.123. Which is greater: b or -34?
b
Suppose -9*t + 16*t - 1022 = 0. Let l be (-134)/t + 11*(-10)/(-110). Is 1 > l?
True
Suppose -3*q - 5*l - 42 = -0*q, l + 14 = -q. Let m be (-145)/(-690) - (q/6 - -2). Let k = m - 1/23. Which is smaller: k or 1?
k
Let t be 26/((-30)/9 + 4). Suppose 0 = -t*i + 564 - 3645. Is -79 != i?
False
Suppose -69 = -3*y - 102. Let r(t) = 11*t + 117. Let v be r(y). Is v at most -2/3?
True
Suppose 5*a - 70 = -2*g - 2*g, 15 = 3*g. Let k(p) = -220*p + 3753. Let u be k(17). Is u equal to a?
False
Let s = -31 - -39.5. Let x = s + -34.5. Is x less than or equal to 4/3?
True
Let q = -84 + -57. Let c = -59 - q. Is c > 0.2?
True
Let o = -1762.52 + 1721. Let f = o + 41. Let s = -0.56 - f. Which is smaller: 3 or s?
s
Let x(w) = 29*w + 41. Let l be x(-1). Let t be ((-15)/(-10))/(l/592). Is 74 greater than t?
False
Let f = -0.41679 - -0.31679. Is f greater than -151?
True
Let q(g) = g**2 + 9. Let j be q(-3). Suppose 4*i + j = 5*f, -6 = 5*i + 12*f - 10*f. Which is smaller: i or -3?
-3
Let v(n) = -2*n**3 + n**2 + 18*n + 46. Let x be v(-7). Let m = x + -5894/9. Is m >= -13?
True
Let a be 100/(-26) - ((-450)/117 - -4). Let x(h) = -3*h**2 + 9*h - 8. Let r be x(a). Which is greater: r or -98?
r
Let k be (64/32)/(1 - -1). Suppose 5*h - 3*m = 8, 1 - 2 = 2*h + 3*m. Let f be k/h*(-15)/15. Are f and -2/65 nonequal?
True
Let v = 1335 + -743. Let m = -611 + v. Which is smaller: -35/2 or m?
m
Let q(c) = -3*c**3 - 3*c**2 + 6*c + 6. Let x(l) = -l**3 - 2*l**2 + 3*l + 3. Let g(m) = -2*q(m) + 5*x(m). Let a be g(3). Which is bigger: a or -0.36?
a
Let k be ((-168)/(-16) + -10)*71*4. Suppose 0 = -k*h + 138*h + 1116. Is h at most as big as 278?
False
Suppose 14*g = 4*g - 190. Suppose -291 + 21 = 45*k. Which is greater: k or g?
k
Let d = -385/8 + 48. Let m = 211 + -1181. Let w = m - -969. Which is greater: d or w?
d
Suppose 1726 - 80376 = -50*o. Is 1574 less than o?
False
Let n(d) = 32*d**3 - d**2 + 10*d - 16. Let r be n(4). Let u = 96647/47 - r. Is -1 equal to u?
False
Let p(l) = -l**2 + 6*l - 5. Let r be p(4). Let f = r + -3. Let k be f - -3 - (4 + -17 - 4). Is 20 less than or equal to k?
True
Let q = -42.6614 + 0.5614. Which is smaller: q or 1?
q
Let v = 3225 - 3225.3. Which is greater: v or 468?
468
Let h(r) = -28*r**2 + 13*r + 11. Let z be h(10). Is z at most as big as -2659?
True
Let v = 61 + -61.09. Let s = -1.9738 + -0.0262. Is v smaller than s?
False
Let q be (187/22 + -9)*-616. Which is bigger: 310 or q?
310
Suppose q + 0*q + 22 = -4*k, 2*q = -k - 2. Let r = k - -5. Let u be 0/(r + -2 + 1). Is u at least as big as -4/9?
True
Suppose 30*b - 22571 = -5478 + 27997. Is b at least as big as -0.2?
True
Let v = 30.4794 + -1.4884. Let u = 18 - 17.991. Let l = v + u. Is l not equal to -1?
True
Let p = -7 + 4. Let y = 21/2 + -127/10. Which is smaller: p or y?
p
Suppose 296*z = 312*z - 48. Which is greater: z or 139/54?
z
Suppose 2*w + 2*w = 92. Let b be (-22)/77*(-1)/w. Which is bigger: 1 or b?
1
Let k = -10811/22 - -491. Let y(w) = -w**3 - 7*w**2 + 4*w + 27. Let p(b) = -b**3 - 10*b**2 - 12*b - 34. Let c be p(-9). Let v be y(c). Is v <= k?
True
Let d = -4 + 2. Let s be 39/(1 - 49/d). Which is smaller: s or 1?
1
Let k = 299.1 - 270. Let h = k - 29. Is 2/329 > h?
False
Let u = 544 + -547. Which is greater: u or -307/73?
u
Let s = 1170 + -1170. Which is smaller: s or 2/1305?
s
Let z = 314.749 + 0.251. Let t = z - 460. Is 0.1 less than or equal to t?
False
Let q = -31283 - -25723. Which is smaller: -5562 or q?
-5562
Suppose -11*x - 14 = -18*x. Suppose -5*i = -x*i. Is -3/22 at least as big as i?
False
Let o be 5*(-12)/(-390) - (-174)/(-1131). Let x = -304 + 4574/15. Which is smaller: x or o?
o
Suppose 3*t - 960 = -5*s, s - 5*s + 1272 = 4*t. Does t = 313?
False
Let h be (2/30)/(17/(-25551)). Which is greater: h or -99?
-99
Let b be 20/15*(-84)/(-917). Which is smaller: -4/5 or b?
-4/5
Let m be (4929/(-9))/((-4)/(-20) + 12/(-10)). Which is greater: m or 549?
549
Suppose x - 20 + 5 = 5*o, 4*x - 2*o = 6. Let v = 3 - 0. Suppose v*w - 6 = 2*k, -2 - 7 = -w + 3*k. Is w less than x?
False
Let j(r) = -r**3 - 39*r**2 - r - 19. Let s be j(-39). Let a(c) = -6*c. Let i be a(-6). Let b = i - s. Is 2 less than or equal to b?
True
Let v(c) = -c**3 - 16*c**2 + 15*c - 3. Let b be v(-17). Suppose -3*f = 3*o - 228, 4*o + 2*f = -f + 299. Suppose -3*q + 22 = -o. Are q and b equal?
True
Let l = 0.05 - -0.35. Let w be 42600/(-3621) - -3*4. Which is bigger: w or l?
l
Let z = -179 - -180. Let f be 26/299*z/(-2)*1. Is f != 0?
True
Let l = 89042/153372285 + 2/70065. Is -1 at least l?
False
Let o = 0.966 + -14.966. Suppose -4*v + 15 = -9. Let b be (0 - v/(-10))*(-2 - 3). Is b not equal to o?
True
Suppose 2763 + 4321 = 5*n - h, 2*n + 2*h - 2848 = 0. Do n and 1426 have different values?
True
Let p = 5/162 - 1457/41958. Let r = 487/8029 - p. Which is bigger: 1 or r?
1
Let b(h) = h**3 + 8*h**2 - 17*h + 34. Let i be b(-10). Suppose 4*p - 3*l + 11 = -2*l, 3*l = i*p + 1. Does -22/7 = p?
False
Let j(k) = k**3 - 40*k**2 + 51*k - 609. Let l be j(39). Is l at least -8?
False
Let k be (-2 - (-3)/1) + 2. Let u be 2258/(-8) - 75/100. Let a = -278 - u. Which is greater: a or k?
a
Suppose 2*l = -2*t + 21990, 7*l - 9*l + 2*t = -21982. Let w = -54448/5 + l. Let r = 103 - w. Which is bigger: r or 1?
1
Let c = 111.4682 - -0.5318. Is -1/8 >= c?
False
Let j be (2/(-4))/((36/(-40))/9). Suppose -j*d - 3*o - 270 = 0, 2*o + 41 = -d + 4*o. Let b be 4 - (-3)/(d/64). Which is smaller: b or -1?
-1
Let h be (-184)/(-184) - (-806)/(-822). Which is smaller: h or 0?
0
Let m = 207.42 - 0.42. Let k = m + -191. Does k = -0.01?
False
Let h(y) = -y**3 - 21*y**2 - 59*y - 384. Let d be h(-19). Which is smaller: d or 1.27?
1.27
Let v be (8/12)/(-1 + 68/60). Let c be v + (4 - 4) - 21. Let i = 19 + c. Which is bigger: 5/2 or i?
i
Let y be (-27)/6 + 46740/240. Do -1/3 and y have different values?
True
Suppose 1080 = 4*y + g, g + 187 = 5*y - 1172. Is 4 less than y?
True
Suppose -62 = -4*x - 2*n, -79 = 7*x - 12*x - 4*n. Which is smaller: 246/17 or x?
246/17
Let p(a) = -3*a - 4. Let h be p(-4). Suppose 2*k - h = 5*d 