 = 4*c - v, -c = -5*d - 0*d + 2. Are d and 1/225 nonequal?
True
Suppose 4*d - 121 = -417. Let a = 71 + d. Let k = 3 - 1. Is a smaller than k?
True
Let y(a) = 4*a - 46. Let m be y(7). Let o be 6*(57/m + 3). Let t = 207 - 2689/13. Which is bigger: o or t?
t
Let f(y) = -y - 2. Let q be f(0). Let d be ((-10)/(-36))/(q/(-3)). Let i = -24888 - -24888. Is i at most d?
True
Let u be -4 - 804/(-32) - (388 - 365). Suppose 5*c = -0*s + 3*s + 2, -4 = s - 5*c. Let k be (-14)/(-8) - 2*s. Is u less than k?
True
Let t = -280.4 + -1270.6. Which is greater: t or -1/4?
-1/4
Suppose 5*d - 6*d + 8 = 0. Suppose l - 9*l = -d. Which is bigger: l or 2/47?
l
Let m = -966 + 1778. Let f = m + -808. Is f bigger than 0?
True
Suppose 4*w = -b - 16, 0 = 2*b - 28*w + 24*w - 16. Which is bigger: b or -100/131?
b
Let w = 401 - 2399/6. Let l = 58 + -253. Let r = l - -195. Which is smaller: w or r?
r
Let j = -207 + 208.37. Let d = -1.33 + j. Which is bigger: d or 1?
1
Let x = -24 + 122. Let d(q) = q**3 + q**2 - 10*q - 3. Let u be d(6). Let f = -90 + u. Is x smaller than f?
True
Let g = 29528 - 30445. Does -6424/7 = g?
False
Let g = -83 - -71. Suppose -2*d + 3*r = -13, 0 = -4*d + 5*r - 3*r + 6. Let w be 20/(-3) - (d + (-24)/(-18)). Which is bigger: g or w?
w
Suppose -80 = 29*d - 33*d. Let b be d/(-35)*(-5)/(130/4). Is b at least as big as -1?
True
Suppose 4*f - 14 = -3*c, f + 0*c = -2*c + 6. Let k(i) = 48*i**2 - 1 - f*i**3 - 5*i - 57*i**2 + 0*i**3 + 12*i. Let r be k(-5). Which is smaller: -16 or r?
-16
Let g = 163 - 142. Suppose -a - g = -4*a. Is 3 at most as big as a?
True
Let n = 761 + -933. Which is smaller: -170 or n?
n
Let p = -4.0735 + 0.0735. Are 81 and p equal?
False
Let s be (0 - 1) + (1 - 14). Let w = 1631 - 1661. Let c(n) = n**2 + 33*n + 78. Let q be c(w). Do q and s have the same value?
False
Let p(h) = 2*h - 7. Let q = 22 - 18. Let v be p(q). Let z = 3964/1629 + 2/181. Which is smaller: z or v?
v
Let d = 1293 + -1293. Which is smaller: d or 25/59?
d
Let h be -2*14*1/4 - 6025/(-950). Does h = 0.4?
False
Let k(n) = 7*n + 1. Let f be k(7). Let a be (22 - 12) + 1780/(-30). Let m = a + f. Which is greater: -4/5 or m?
m
Suppose -3*d + 215 = 2*d. Let c be (0 - (-39)/(-12)*-1)/((-314)/(-3768)). Does d = c?
False
Let g = 212 - 172. Suppose -39*l + g*l + 18 = 0. Is l at most as big as -53/3?
True
Let p = -85 - -70. Let a be 3 - (4 + 0) - -1. Suppose 0 = -3*d - a*d - 2*j - 44, 5*d - j + 69 = 0. Does p = d?
False
Let x = -32 + 32.001. Let h = x + 41.999. Let g = h - 31. Which is greater: g or -1?
g
Let o = -369 - -651. Suppose -79 = -19*j + o. Let v = 37 - 16. Is j > v?
False
Let o(r) = -5*r - 9. Let p be o(-3). Let i be (7 - p)/(-1)*-1. Which is smaller: i or -22?
-22
Let x = 47 + -29. Let o(g) = -18*g + 3*g**3 - 11*g**2 + 2*g**2 + 2*g**2 - 2*g**3. Let v be o(9). Which is smaller: x or v?
v
Suppose 0 = -54*j + 53*j + 6. Let i be (-5 - -4)*-3*(-2)/j. Is i > -9/20?
False
Let m = -451 - -436. Is m at least -257/17?
True
Let y = 0.0561 - 9.1461. Let r = -9.2 - y. Let m = -3.03 - -0.03. Is m equal to r?
False
Suppose 531 = r + 46. Let h be (4 + r/(-10))/(2/4). Let b = -88 - h. Which is smaller: 4/59 or b?
4/59
Let y be ((-8)/(-48))/((-2)/(-3)). Let q be 2/3 + ((-2532)/18 - -11). Is q less than or equal to y?
True
Suppose -39 + 138 = 9*r. Suppose 5*v + 89 = 3*z, -2*z + 19 = 4*v - r. Let o be ((-26)/(-4) + -5)/(4/64). Are o and z nonequal?
True
Suppose 0 = 3*o + 8 - 26. Suppose -p - p + o = 0. Let d be -3 - (-165)/(-198)*(-117)/30. Which is bigger: p or d?
p
Suppose 44*z = 34*z + 980. Let i be (32/(-78))/(z/(-147)). Which is smaller: -2/9 or i?
-2/9
Let g be 117/(-273) - (-1165400)/(-70). Which is smaller: -16648 or g?
g
Let s be 8612/(-120) - 1/60*6. Which is smaller: s or -71?
s
Let y = 39.5 + -39. Let d = 109.5 + y. Let w = d + -74. Is w at least -2?
True
Let w(m) = -m**3 + 30*m**2 + 19*m - 547. Let z be w(30). Suppose -3 = -2*j + 41. Is z > j?
True
Let s be (-4)/14 - (76/28 + 2). Let z be (s + 12 - 0) + -8. Which is greater: z or -6/25?
-6/25
Suppose 7449*u - 333 = 7412*u. Let h = -2 - -4. Let i = h + -1. Are i and u unequal?
True
Suppose -53*j + 51*j + 92 = 0. Suppose 116*y = 94*y + 1034. Is y greater than or equal to j?
True
Let i be (-1 + 3)*-3*(-15)/18. Let d be 10/1*(22/i + -4). Suppose -4*p + 32 - 12 = 4*g, 2*g + d*p = 10. Which is bigger: g or 25/6?
g
Let a = 23 - -2. Let n be 9/15 + (-40)/a. Let r(j) = -21*j**2. Let b be r(n). Are b and -20 non-equal?
True
Let y(b) = -14*b - 20. Let i be y(-8). Let q = i + -91. Let g be ((-2)/2)/((-15)/(-30)) + q. Which is greater: g or 2/49?
2/49
Let w = 0.6143 + 0.3857. Is -113.03 not equal to w?
True
Suppose -5 = 25*r - 30*r. Let l be 3*(r/(-5) - 14/30). Let n = 739 - 3707/5. Which is smaller: l or n?
n
Suppose 4134*j - 4121*j - 26 = 0. Is j greater than 85/74?
True
Let a be ((-2)/(-4))/(5616/(-260))*-1. Is a at least -1?
True
Let r = 0.0286 + 0.6704. Let h = -6.199 + r. Which is smaller: h or -2?
h
Let w be (-1)/(-3)*(-165)/(-6). Let y = -15/2 + w. Suppose 6*r = 3*r + 6. Which is smaller: y or r?
y
Suppose -5*c + d = 266, -3*d = 2*c + 3*c + 282. Which is smaller: -48 or c?
c
Let j = -2579 + 2465. Which is greater: j or -12?
-12
Let r be ((-2)/(-2))/((-1)/(-165)). Suppose 15*l - r = 15. Is l at most 13?
True
Suppose 4*i - 25 = -13*o + 16*o, 10*o - 2*i = -38. Which is smaller: o or -1849?
-1849
Let y be (-2)/4*-2*(-5 + 5). Suppose y = -2*c + 2*g - 2, -23 = -4*c - 5*g. Let t be (c + 4)/(2 + -1). Do t and 8 have different values?
True
Suppose 0 = 5*v - 11*t + 7*t + 13, -3*t = 3*v - 3. Let z be (-1 + 3)/(v/(-4)). Which is greater: z or 12?
12
Let g = 36.64 - 36. Let l be 17/(-11) - ((-16380)/385 - -42). Which is smaller: l or g?
l
Let d = 375302/19 + -19760. Do -8 and d have the same value?
False
Suppose -238 + 222 = 6*b - 7*b. Suppose 3*a = 5*d + 40, d - 15 = -a + 3*d. Which is bigger: b or a?
b
Let t = 10871 + -11473. Which is greater: t or -601?
-601
Let y be (1*4)/(-4 + 6). Suppose 3*j + 331 = -2*q - y*q, 15 = 5*j. Let f = 92 + q. Is f > 8?
False
Let h = -187/3049515 - -2/6615. Is 0.1 bigger than h?
True
Let j be 5 + (10/404)/((-12)/5736) + 6. Which is smaller: j or -1?
-1
Let g(b) = -b**3 - 3*b**2 - 3*b. Let k be g(-2). Suppose k = -2*u - 2, 2*a - u + 46 = 0. Let s be 2*(-4 + (-93)/a). Is 3/4 != s?
True
Let y = -144 - -53. Let g = y + 116. Let v be (-24)/14 - 5/(g/(-10)). Are -5 and v equal?
False
Let q = -32/59 + 28182/51743. Let c = q + -973/42096. Is c less than or equal to 1?
True
Suppose -5*k - 4*c = -4098, -12*k + 14*k - 1614 = 2*c. Which is smaller: 3251/4 or k?
3251/4
Suppose 15*h + 40 = 3*h - 8*h. Let f = -3/584 + -15163/4088. Which is smaller: f or h?
f
Let w(s) = 45*s - 486. Let a be w(11). Which is bigger: -31 or a?
a
Let j = 98 + -94. Suppose -j*b = -7*b - 3*n - 9, -5*b + n = 33. Do -39/8 and b have the same value?
False
Let b be 135/42 - 84/168. Is b not equal to -0.45?
True
Let v = 142.42 + -142. Let k = 0.52 - v. Which is greater: k or 0.038?
k
Let r = 19 + -12. Let x(n) = -6*n**3 - 7*n**2 + 6*n - 71. Let z be x(7). Let y = 12188/5 + z. Is r not equal to y?
True
Let h be 1/(-4)*12/9 + (-23608)/2724. Which is smaller: -93 or h?
-93
Let a(l) = -3*l**2 - 5*l + 2655. Let w be a(-31). Is w greater than 4?
False
Let d be (2*(-6)/(-24))/(2/(-92)). Let j be 2/d + 34016/(-2392). Which is smaller: j or -13?
j
Let v(g) = g**3 + 2*g**2 + g. Let b be v(-1). Let w = 2/47 - -88/141. Which is smaller: b or w?
b
Suppose 0*i - 4*i - 86 = -2*n, 0 = -2*i + 6. Suppose -q + n + 61 = 0. Let b be 32/24 + q/(-6). Is -16 at least as big as b?
True
Let s = -17/50 - -506/1525. Do s and -2/9 have the same value?
False
Suppose 732530 = -52*v + 191*v. Is 5269 bigger than v?
False
Suppose 6 = 3*h, 2*i + 752 = 48*h - 46*h. Are i and -374 equal?
True
Suppose 4*h - 6753 + 22220 = 5*m, -m = -3*h - 11592. Which is smaller: h or -3864?
-3864
Let z(s) = 3*s - 100. Let n be z(24). Let l be (-588)/n*(-2)/3. Is -14 < l?
False
Suppose 353*z + 124634 = -67398. Let s be (0 + -548 - -1) + 2. Is z >= s?
True
Let x be 11/3*(-592)/3256. Which is bigger: x or 81/35?
81/35
Let c = -3017 + 3018. Which is greater: c or 11/464?
c
Let k(f) = -f**3 - 57*f**2 - 109*f + 38. Let j be k(-55). Is 2 != j?
True
Let z be 64/(-8) + 244/26. Which is smaller: -69 or z?
-69
Let u(y)