046/18515 + i. Do h and -2/7 have the same value?
False
Let f = -45 + 41.7. Let p = -28.3 - f. Suppose 99 + 89 = -188*s. Which is smaller: p or s?
p
Let a be (37 - 18) + -16 - 655. Is -640 bigger than a?
True
Let j = -1585.825 + 1586. Which is bigger: j or 0.14?
j
Let l = -58 - -277. Let d = l + -220. Is 308 != d?
True
Let l = 23 - 17. Let d = -6.084 + l. Let w = d + 3.084. Which is bigger: w or 2?
w
Suppose 0 = -7*h + 10*h + 39. Let p be (2/(-1))/(h/(390/12)). Suppose -4*b - p*b + 7*b = 0. Which is bigger: b or -4/39?
b
Let t = -4.464 - -0.164. Let g = t + 4.2. Which is greater: 0.36 or g?
0.36
Let s be ((-28)/245)/(1/(-6145)). Let t = s - 701. Let d be (2 + -2)/(-2 + -1). Which is smaller: t or d?
d
Let c = 113 - 110. Suppose 33 = -p + c. Let m = -2/9 + 13/18. Is p less than or equal to m?
True
Let h = -130 + 67. Let c be 0 - (-5 + h/(-14)). Which is greater: c or -35?
c
Let o(i) = 96*i + 2113. Let m be o(-22). Which is bigger: -5/664 or m?
m
Let l = -20 + 18. Let f = 10283 + -215773/21. Let d = f - 2630/273. Which is smaller: d or l?
l
Let m = -183 - -183.33. Let g = -0.51 + m. Which is smaller: g or -0.4?
-0.4
Let w be 3 + (-164)/56 - (-351)/(-210). Which is smaller: -0.011 or w?
w
Let v = 2025/108103 - -42798519771/11458918. Let c = v - 3735. Is c less than 0?
True
Let n be ((-4)/3)/((-428)/(-53607)). Is -154 > n?
True
Let g = -441248/765 + 5192/9. Which is smaller: 0 or g?
0
Let y be (99/21 - 3)/((-114)/(-578949)). Is 8707 smaller than y?
False
Let v be (-42438)/7860 + 6 - 3/5. Is 1 greater than or equal to v?
True
Let n(r) = r**2 + 69*r - 74. Let k be n(-70). Suppose 0*y + 4 = -y. Let p(j) = 4*j + 9. Let t be p(y). Do t and k have different values?
True
Let u = -206 - -204. Let n be u/(-6) - (1024/(-12))/(-16). Suppose -5*t = -0*t + 40. Which is smaller: n or t?
t
Suppose 0 = w - 128 - 1640. Let t = 61876/35 - w. Which is smaller: -1 or t?
-1
Let d = -12406 + 19631. Is 7224 <= d?
True
Let d = -0.2753 + 16.2753. Which is smaller: d or -201?
-201
Let l(h) = 7*h + 49. Let a be (21/(-6) - -5)*28/(-6). Let z be l(a). Let q = 0.23 + 0.07. Which is greater: z or q?
q
Let o(r) = r**3 + 4*r**2 - 5*r - 6. Let t be o(-6). Let d = t - 5. Let q = -50 - d. Which is bigger: 19/6 or q?
19/6
Suppose -74*b = -447*b + 9094113. Are b and 24382 unequal?
True
Let z(v) = 14*v**2 + 12*v - 17. Let b(y) = 5*y**2 + 4*y - 6. Let g(x) = 17*b(x) - 6*z(x). Let d = 94 - 89. Let l be g(d). Which is bigger: 6 or l?
6
Let i(d) = -14*d**3 + 11*d**2 - 5*d - 43. Let h be i(-6). Is 3405 > h?
False
Let j = 23.9 - -172.1. Let o = j + -169. Let d be (3/12*2)/1. Which is greater: d or o?
o
Let v = 0.21 + -5.61. Let g = -5.5 - v. Which is bigger: g or 1/282?
1/282
Let n = -15921575/11 - -1445993. Let r = 1424 + n. Let f(v) = v**3 - 4*v**2 - 4*v - 5. Let l be f(5). Which is smaller: l or r?
l
Suppose 0 = -5*t - 3*x + 34, -3*x + 4*x = -t + 8. Suppose t*r - 465 = l - 44, -r - 4*l = -80. Is 84 greater than r?
False
Suppose 0 = 9*w + 2*w + 935. Let y = -252 + 253. Which is smaller: y or w?
w
Suppose 0 = 3*i - 2*z + z - 661, 5*i = 3*z + 1103. Suppose -4*o - 2*r + 64 = i, 5*o + 200 = -5*r. Is o smaller than -38?
False
Let q be ((-12194)/(-1716))/((-4)/(-24)). Do q and 1 have the same value?
False
Let p = -1329.25 + 1329.2. Which is smaller: p or 329?
p
Suppose -a - 5*f = 12 + 4, -3*f - 13 = 4*a. Let l(m) = -m**3 + 31*m**2 - 29*m + 12. Let y be l(30). Let d be ((-34)/28 - -1)*(-56)/y. Is d not equal to a?
True
Suppose -892 - 3560 = -106*c. Is c < 216/5?
True
Let s be 4/33*6/(-4). Let m be 149/364 + (-152)/28 + 5. Let d = m - -31/260. Which is smaller: d or s?
s
Let m(h) = 71*h + 5719. Let q be m(-69). Is q not equal to 815?
True
Let a = 168.33 + -1.33. Let u = -17.65 + 17.85. Which is smaller: u or a?
u
Suppose 14*t = 27*t + 260. Let f = -46559/6 + 7739. Is t smaller than f?
False
Let i = -39 - -30. Let n = 7 + i. Let g = -6 + n. Are g and -11 non-equal?
True
Let p = -4964 - -4969. Does p = 1/84?
False
Suppose -10 = -8*o - 58. Let d be (1 + o)/((30/(-55))/(-6)). Is d bigger than -58?
True
Suppose 3*f + 7*t - 2 = 8*t, 2*f = 4*t + 8. Let b = 18 - 26. Let c be 0 + 0 + b/28. Which is bigger: f or c?
f
Suppose 1102 = 2*x - s, s + 1104 = 2*x - s. Let w be -1 + (-28)/(-36) - x/765. Is -1 not equal to w?
True
Let l be 8691/54 + 5/6. Which is smaller: 162 or l?
l
Let x be (-1576)/(-6)*(-3)/2. Let o = 19898/285 - 8810/19. Let k = x - o. Is 0 less than k?
False
Suppose -5*s + q - 621 = 0, -3*s - 377 = q - 6*q. Let x = -3/3542 - 215175/1771. Let y = s - x. Which is greater: -2 or y?
-2
Let c = 11/26 - -1/13. Let k = 86.39 - 103.99. Is c at most as big as k?
False
Suppose 4*o - 72 + 326 = d, 5*o + 508 = 2*d. Let y = d + -224. Which is smaller: -2 or y?
-2
Suppose -3*x - 4*b - 8 = 0, 7 = -4*x - 3*b - 13. Let m be 3 - 31143/(-56) - (-1)/x. Which is smaller: m or 558?
558
Let o be 20/10 - ((-6)/3 - -4) - 1. Is o less than 6/8701?
True
Let i = -6284 - -50285/8. Is i > 4?
False
Let u = -468 + 468.6. Let y = 0.8 - u. Is y equal to 205?
False
Let u = 1244 + 913. Let p = u - 58202/27. Let q = p + -2449/1728. Is -1 at least as big as q?
False
Let n = -586 + 878. Let l = n + -316. Suppose 4*a + 84 = p - 16, -2*p = -3*a - 80. Do l and a have different values?
False
Suppose -128*v = -130*v - 4*h - 614, 11*h + 607 = -2*v. Suppose 0 = -4*d + 2*d - n - 613, 0 = 4*d - 3*n + 1241. Is v at least as big as d?
False
Let u(i) be the third derivative of -25*i**4/12 + 8*i**3/3 - 12*i**2. Let l be u(-2). Which is smaller: 233/2 or l?
l
Suppose 39*x = 37*x - 5*i + 45, -x - 5*i + 30 = 0. Suppose 3*z = 3, -x*z = -3*u - 19*z + 103. Do u and 30 have the same value?
False
Suppose -5*v = -0*v. Let d = -7433 - -89207/12. Which is smaller: d or v?
v
Let z = -83787/4300 + 834/43. Which is smaller: z or 0?
z
Let o be (-4)/(-4 + 5 - (-3 - -47336)). Which is smaller: -1 or o?
-1
Let y = -3779 - -3778. Which is smaller: 385/4 or y?
y
Let c = 11324 - 10680. Which is smaller: c or 640?
640
Let c = -5720 - -13927. Are c and 8210 nonequal?
True
Let i be 144/(-56976)*1/(-2). Let u be ((-1262)/(-2374))/((-14)/(-143)). Let h = u - i. Which is greater: h or 4?
h
Suppose 24*u + 2*u = 1916 - 330. Is 0.1 greater than u?
False
Suppose 0 = -15*x + 11*x - 5*j + 20, 0 = -4*x - j + 20. Suppose 3*g + 7 = -h + x, -4 = -g - 5*h. Which is smaller: -4/93 or g?
g
Let k be ((-22)/1602590)/(-5 + 24/5). Is k <= 0?
False
Let j = -193 - -465. Let u = j - 272. Is u at least -1/60?
True
Let g = -694 + 588. Let n = g + 220. Is -1/5 less than or equal to n?
True
Suppose 0 = 5*v + 32 - 2, 882 = k - v. Is 878 greater than k?
True
Suppose j = 6 - 1. Let t be -4*j/(-4 + 34)*168. Is t greater than or equal to -110?
False
Let o(n) = -n**3 - 6*n**2 - 3*n - 5. Suppose -17*s - 12 = -14*s. Let y be o(s). Let b be (80/y)/(14/10). Which is smaller: b or -2?
b
Let q = -523 - -522. Let l be (-39 + 6/3)*q. Is l greater than 39?
False
Let r = 1101/7 + -157. Suppose -3307 = 16*b - 875. Let p = b + 151. Which is bigger: r or p?
r
Suppose -5*h = 4*l + 36801, 5*h - 18691 - 18060 = 4*l. Which is bigger: -9193 or l?
-9193
Let b(g) = -2*g**3 - 7*g - 6. Let m be b(-3). Let p = -69 + m. Is 34/25 greater than p?
True
Let z = -4077 - -4003. Which is bigger: z or 3?
3
Let q(s) = -s**2 - 10*s + 1. Let u(a) = -a**2 + 7*a - 7. Let z be u(7). Let r be q(z). Suppose -5*y - n = -114, 4*y - 59*n = -58*n + 84. Is y less than r?
False
Suppose p + 436 = -3*u, -11*u - 2*p + 164 = -12*u. Which is smaller: -2/7 or u?
u
Let v be -1 - 1/(3/6*-2). Let z(h) = 2 + 2*h**2 + v*h**2 + h**3 - 4*h + 0*h - 4. Let c be z(2). Do c and 6 have the same value?
True
Let q(l) = l**2 - l + 3. Let m be q(0). Suppose -2*t + 10 = m*t. Let g be 4/t*(-3)/6. Is g equal to 3/17?
False
Let b = 32 + -32.16. Let o = b + 0. Let a = -0.47 - o. Is 2/5 at least as big as a?
True
Let h be 1/(1 + (-3)/6). Suppose 27 = -y + 3*w, 0*y = h*y + 5*w + 54. Let t = y - -29. Which is smaller: t or 3?
t
Let z(h) = 14*h**2 + 5*h - 3. Let p be z(3). Let l = -26216 - -26354. Is p at least as big as l?
True
Let s(w) be the first derivative of -4*w**3 - 5*w**2 - 21*w - 1. Let b be s(-4). Is -172 at least b?
True
Let l = -5025.4 + 5022. Is 5/19 bigger than l?
True
Let f = -18164/13 + 284758/195. Which is smaller: 64 or f?
f
Let c = 351 - 351. Let p = -3