et s = 48943/4 - 12236. Do 448 and s have different values?
True
Suppose -45*p - 2*c = -43*p - 10, -p = -4*c + 15. Let v = -20474/55 + 1861/5. Is v equal to p?
False
Suppose 6 = -5*v - v. Let f = 46828/19 + -2465. Which is greater: v or f?
f
Let t = 10504 - 7153. Suppose -9*k + 696 - t = 0. Is k smaller than -295?
False
Let v(j) = -j**2 - 22*j - 104. Let h(i) = -i**2 + 12*i + 6. Let d be h(13). Let g be v(d). Which is bigger: 18 or g?
18
Let s be (-12)/(-21) + (-44)/28. Let y = 32 - 3178/99. Is y != s?
True
Let d = 75 + -50. Suppose -12 = h - p, 5*p = -0*p - d. Let z = 32 + h. Which is greater: z or 18?
18
Let u(z) = z**2 + 14*z + 33. Let m be u(-10). Let w be (-6 - m) + -2 + 6. Suppose -w*r = 5, a - 7 = -5*r + 8*r. Which is smaller: 11/3 or a?
11/3
Suppose -6 = 4*t + 5*x - 359, -5*t = -x - 405. Let g(b) = -3*b**2 - 788*b + 7698. Let w be g(-272). Is w at least as big as t?
True
Let i(d) = -11*d - 2. Let c be (0/((-7 - -4) + 4))/(-1). Let w be 6/((-1 - c)*1). Let a be i(w). Which is bigger: 63 or a?
a
Let s(z) = z**3 - 16*z**2 - 57*z - 2. Let m be s(19). Is -35/32 less than or equal to m?
False
Suppose 2*d - 3*w = -3109, 24*d - 20*d + 2*w = -6210. Which is greater: -1556 or d?
d
Let t be (1/1)/(-1)*(-9)/((-99)/(-1133)). Which is smaller: 63 or t?
63
Let l = 5412 + -3947. Which is greater: l or 1464?
l
Suppose -779 - 8321 = -5*o. Let a = o + -107384/59. Is a < -1?
False
Let z = 8/709 + -3170/155271. Let s = 19454/4683 - 15606967/1367436. Let l = s - z. Is -6 at least l?
True
Let q = 678 - 680. Are -57/29 and q equal?
False
Let d(p) = -7*p - 3. Let q be d(16). Let h = q + 113. Let v = 84 + -254/3. Which is greater: v or h?
v
Let b = 160 + -120. Let q = b - 25. Are q and 13 unequal?
True
Suppose -242 + 360 = -2*b - 2*a, -5*b - a = 295. Is b <= -185?
False
Suppose -27*f = -69*f + 26*f - 2192. Which is smaller: f or -951/7?
f
Let h = 44477 - 44478. Let o(n) = n + 2. Let y be o(-4). Are y and h equal?
False
Let j = 446 - 341. Suppose 167 = 4*r - 253. Is j > r?
False
Let q = -18.3 - -3.3. Let k = -4402 + 4391.8. Let c = k - q. Which is greater: 1/4 or c?
c
Let a = 544 + -321. Let n = -222 + a. Is 3.2 equal to n?
False
Suppose 29*a - 25 = 8*a - 4. Which is greater: 2/3199 or a?
a
Let x(g) = -g**3 - 5*g**2 - 4*g + 9. Let b be x(6). Let o(u) = -499*u + 172743. Let c be o(347). Is c not equal to b?
True
Let q be (31 - (-1377)/(-45)) + -71833*2/359140. Which is smaller: -1 or q?
-1
Suppose -10*z + 6*z = 7*z + 176. Is -10 bigger than z?
True
Let t = 960 + -1050. Which is smaller: -80 or t?
t
Suppose -82552 = -175*j - 83447 + 146145. Is j less than or equal to 0?
False
Let t be 2/7 + 856/(-7). Let g = -896208 + 6272596/7. Which is greater: g or t?
t
Let u = -944/4998441 - 1/2757. Which is smaller: u or 2/7?
u
Let c = -8000 - -7967. Is -173 < c?
True
Let p be (0/(-4))/5 - -2. Suppose -19*c - 34 = -p*c. Is c equal to -35/11?
False
Let m(c) = 2*c**2 + 23*c - 53. Let o be m(-31). Let k = -8014/7 + o. Which is greater: 12 or k?
12
Let a be -2 + 6 - (-80)/(-30). Which is greater: -14/3 or a?
a
Suppose 3*l = 11*l - 1656. Suppose -3*g + l = 627. Let w be (-12)/20 - (-8)/g*-123. Is w bigger than 6?
True
Suppose -5*q + 4 = -1. Let t(n) = 2*n**2 - 2*n - 48. Let p be t(-5). Let g be 8/(-98) - 0/p. Does q = g?
False
Suppose -154*t + 694638 = 112*t + 32*t. Is t at least as big as 2330?
True
Let n be 19/(-38) - (135954/(-12))/7. Is 1 >= n?
False
Suppose 7*j - j - 1554 = 0. Suppose -34*k + 3380 = -21*k. Is k >= j?
True
Suppose -5*a - 2227*h - 47577 = -2231*h, -3*a - 28551 = -4*h. Which is greater: a or -9512?
-9512
Let q = 183 + -183. Suppose 6 = -2*i, u + q*i = 2*i + 141. Which is smaller: u or 137?
u
Let k be (-35563)/(-106)*(-1 + -1). Is k > 2?
False
Let b = 30927 + -31190. Which is smaller: -1/8 or b?
b
Let o = -1.49 + 2.21. Let c = o - -0.28. Which is smaller: 2/29 or c?
2/29
Suppose -50*x + 39*x - 1276 = 0. Do x and -115 have different values?
True
Let c = 1997 + -2016. Which is smaller: c or -0.47?
c
Suppose b = 98*b + 776. Does -128/15 = b?
False
Let b be (6 - -3)/18*(0 - 0). Suppose -3*c - 17*c + b*c = 0. Which is greater: 4/35 or c?
4/35
Suppose -5*h + 1051 = -174. Let i be 12/(-9) + h/15. Let v be i/315*(-1 + 7). Is v at least as big as -1/11?
True
Let b = 68688.038 - 68572. Let z = b + -0.038. Which is smaller: z or -0.1?
-0.1
Let u = -7590 - -7590. Which is bigger: -5944 or u?
u
Let x = 7 - 5. Let k be (-4)/10*(-1)/x. Let p(b) = 1019*b - 6114. Let t be p(6). Which is greater: t or k?
k
Let k = -10361 - -9676. Is -1/5 at most as big as k?
False
Let o(i) be the first derivative of -i**4/4 + 11*i**3/3 - 13*i**2/2 - i - 20. Let f be o(8). Let d = f + -103. Is d less than -4?
True
Let j(b) = 2*b + 6. Let o be j(-5). Let s be 2/(-4) - o/8. Let n = -492/13 - -24082/637. Are s and n nonequal?
True
Let f(y) = -14*y**2 - y + 15. Let i(n) = -12*n**2 - n + 12. Let m(u) = -5*f(u) + 6*i(u). Let l be 1/(4/(-3) + 1). Let j be m(l). Is -5 equal to j?
False
Let y(w) = -25*w**2 - 3 + 4 - 6*w + 24*w**2 + 2*w. Let a be y(-6). Let h = 27 + a. Is 16 greater than h?
False
Let v = -1136 - -4167. Is v greater than or equal to 3032?
False
Let q = 14029/1254 + -255/22. Let y = 5/19 - q. Let j(p) = -p - 5. Let f be j(-7). Is y less than or equal to f?
True
Let g(x) = 93*x - 745. Let a be g(8). Let n(u) = u**3 - 3*u**2 - 6*u + 4. Let p be n(4). Let m be (1/p)/(25/10). Which is greater: a or m?
m
Let n = 7599 + -4520. Which is smaller: 3077 or n?
3077
Let f = -416.46 + 41.46. Which is smaller: 5 or f?
f
Let y be (-5 - 48/(-9))*27. Suppose 0*g + 26 = -3*k + g, -4*k + 3*g - 28 = 0. Let h = k + y. Is -2/3 bigger than h?
True
Let w be 1/33*316143/(-9223146). Let z = w + 6/2167. Which is greater: 0.2 or z?
0.2
Let h = 0.86518 - 750.88518. Let k = h + 750. Is k at most 6?
True
Let k be ((-3)/(-4))/((-122)/(-24)). Let b = k - 707/3965. Let i be 9/27 - 12/9. Is i at most b?
True
Let k be 2/(-10)*0 + (-363422)/119. Let s = 3054 + k. Is 1 > s?
True
Let o = 48472/37 + -1310. Let n be 0/((3 - 1)*(-15)/30). Which is smaller: o or n?
n
Let v(k) = k**3 - 20*k**2 - 157*k + 27. Let i be v(26). Which is smaller: i or -1/2775?
-1/2775
Let t = 11851 - 11852. Is t <= -3/3920?
True
Let y = -33 - -40. Suppose -y*t + 3 = 38. Are t and -64 unequal?
True
Let m(z) = -z**3 - 6*z**2 - 5*z + 4. Let v be m(-4). Let j = -9 - -7. Let c be (-14)/(-28)*j*1 + -6. Is c > v?
True
Let x = 903 - 903. Let l(z) = z**2 - 6*z + 3. Let p be l(3). Let m be 140/174 + 4/p. Is x equal to m?
False
Let s = 13695 - 13695. Which is bigger: 1084/11 or s?
1084/11
Let j be (1805 + -1803)/(-6 + 1*(0 + -1)). Is 14/225 smaller than j?
False
Let g = 5.9522 + 0.0478. Let v = -10.77 + 10.7. Is g greater than or equal to v?
True
Let u(i) = -6*i + 368. Let j be u(62). Suppose -6 = -5*b - 1. Suppose -g = -4*w - b - 3, 4*w - 12 = 5*g. Is g at most j?
True
Let x(s) = -4*s - 1. Let g be x(-1). Let c be g*(-2)/(-6) + 0. Suppose 229 = -3*o + 235, 0 = 13*l + o - 574. Does l = c?
False
Let m = -123.04 + 122.94. Which is bigger: -292 or m?
m
Let a be (12 - 21 - -184) + 5. Is 170 bigger than a?
False
Let j = -606 + 607.22. Let m = 1.21 - j. Is m != -7/5?
True
Let b = -293 - -305. Suppose 2*h - 4 = -3*x, -5*x - 17*h + b*h = -15. Is x <= -42?
False
Suppose d + 10*z - 8*z = 21, d - 4*z = -3. Suppose -20*a + d*a = 504. Is -71 > a?
True
Suppose -3 = w - 2. Let c(i) = -i**2 + 17*i - 42. Let d be c(15). Let t be ((-3)/24)/((-7)/d + -1). Which is smaller: w or t?
w
Let k = -170.6 - -53. Let o = k + 107. Let i = 11 + o. Which is bigger: i or -0.2?
i
Let g = 4.7 - 4.58. Let l = 0.22 - g. Let a = 1.3 - 0.98. Which is bigger: a or l?
a
Let q = -8984/3 - -2996. Which is smaller: -0.1 or q?
-0.1
Suppose -2*g - k + 6 = -4*g, g + 2*k = 2. Let d = -73006/120351 + 2/3647. Is d greater than or equal to g?
True
Let r(v) = 43*v**2 + 69*v - 411. Let j be r(6). Which is smaller: 1550 or j?
1550
Let f = 19 - 23. Let j = -5162 + 25639/5. Let t = j - -35. Which is smaller: t or f?
f
Suppose -25*o - 53 = 28*o. Which is bigger: -1/925 or o?
-1/925
Let x be 7 - ((-56)/(-35))/((-6)/(-15)). Suppose x*j + 3*c - 12 = 0, -4*j = -26*c + 23*c + 12. Which is greater: 13/21 or j?
13/21
Let c = 121 - 118. Let i be 14/(-28)*(156/10)/c. Do -2 and i have different values?
True
Let p be (-148)/(-14) 