*h - 3*a - 31. Suppose h*u + 27 = 10*u. Suppose u*f = 4*f + 70. Is f at most 13?
False
Suppose -2*r + z = -25, -15*z + 2 = r + 36. Do 277/28 and r have different values?
True
Suppose 171 = -0*b + 3*b. Let z be b/(-24) - (-21)/56. Which is greater: z or 56?
56
Let j = 4937/755724 + 5/852. Which is greater: j or 0?
j
Let y = 254 + -252. Suppose 0*w + 2 = -2*w, -y*d - 2*w - 456 = 0. Are d and -228 unequal?
True
Let p = 8 + 48. Let i = 614 + -560. Which is greater: p or i?
p
Let b = 35446 - 167411460/4723. Is 0 not equal to b?
True
Let g = -13848 + 2708. Is -11140 greater than g?
False
Suppose 147*v - 229138 = -26*v - 9*v. Which is smaller: v or 9?
9
Let z = -4666/23 + 6863548/33833. Which is smaller: z or 1?
z
Let n = -0.5457 - -0.52. Let b = n + 0.0257. Is -467 greater than or equal to b?
False
Let s(g) = 2*g**3 + 94*g**2 - 85*g + 527. Let d be s(-48). Is d bigger than -13.975?
True
Let k(h) = 4*h - 121. Let x be k(31). Let z be (4/x)/(-12 - -10)*3. Is z less than -13/7?
True
Let g = -3139 - -208. Let f = -1357052/463 - g. Do 0 and f have the same value?
False
Suppose 30 = -2*o - 4*z - 20, -4*o - 3*z = 85. Which is smaller: 13 or o?
o
Let m = 31 + -17. Let c(w) = -w**3 + 27*w**2 - 25*w - 29. Let d be c(26). Let u be 7 + d + m/(-4). Which is smaller: u or -2?
-2
Let k be 2 - (-1 - 0)/3. Suppose -3*y - 139 = -178. Let c be (-135)/24 - -6 - y/(-8). Are c and k unequal?
True
Let w = 111 + -113. Let j be (-4 - (-14 + 7)) + w*2. Which is greater: j or 6/91?
6/91
Let u = 10714 + -10715. Which is smaller: -2/3099 or u?
u
Suppose 123163 = -81*j + 22480. Which is smaller: -1249 or j?
-1249
Let d = 96 - 83. Let l = -41/10 - -359/90. Which is smaller: l or d?
l
Let y = -2668 - -5337/2. Is y != 8512?
True
Suppose -y = -4*w + 24436, -30*w + 25*w = 5*y - 30520. Is 6109 != w?
True
Suppose 2*t - 14 = -4. Suppose v - 3*i = -3*v + 47, 4*v + i = 43. Let u = v - 6. Is u at least as big as t?
True
Let f be 6/10 + 801/(-1335). Are f and 2/37401 equal?
False
Let x be (2*7 - 1463/105)/(2/(-18)). Is 627 greater than x?
True
Let n be (-60)/325*15/70*-5. Let w = n + 762/91. Is 2 < w?
True
Suppose 0 = 3*j - o + 4*o - 165, 2*j - 106 = 2*o. Suppose 38 = -2*g + 4*p, -3*p = g + 2*p + j. Let l = g + 28. Does l = 2/59?
False
Let x = -38.98 + 47.06. Which is greater: -0.2 or x?
x
Let a be -1*1360/(17 + -21). Is a at most as big as 344?
True
Let x = 0.47 + 0.066. Let r = 56.414 + x. Let n = r - 57. Which is bigger: 2 or n?
2
Let j be (-2*3)/(2883/(-248)). Let x = j - 1123/2356. Is x bigger than 0?
True
Suppose -27*b = 68*b + 643 + 877. Is -369 at most b?
True
Let o be (17 + -12)*(-6)/30. Is 3/3788 < o?
False
Let x = 3 + -3. Suppose x = 2*k - k + 18. Let f(c) = -21*c**2 + 9*c - 7. Let u be f(1). Is k greater than or equal to u?
True
Let f = -9 + 6. Suppose -5*x + 33 = -j, -4*x + 4*j = 6*j - 18. Suppose -x = 2*k + k. Which is bigger: f or k?
k
Let c(t) be the third derivative of 4*t**5/15 - t**4/6 + t**3/2 + 8*t**2. Let m be c(1). Suppose -3*y = -8*y - m. Which is smaller: y or -4?
-4
Let v = 15079883/16101 - -1148/1789. Let t = v - 741. Let r = -196 + t. Is r greater than 0.5?
False
Let k = 19274 + -16514. Which is bigger: -2/5 or k?
k
Suppose 21*p - 6 = 18*p. Suppose -5*c - 5 = -p*j, 23*c = 20*c + 2*j - 7. Do -3/7 and c have the same value?
False
Let u = 10756/13 + -830. Let i = -475/182 - u. Which is smaller: -1 or i?
-1
Let b = -66.6781 - 0.3219. Let s = 0.5 + -0.4. Which is greater: s or b?
s
Suppose -7*i = 29*i - 540. Suppose -3*v - 1029 = -5*j, 10*v - i*v = -2*j + 1734. Is v at least -347?
False
Suppose 33*w = 58*w - 2225. Is w greater than or equal to 84?
True
Let n = 271 - 129. Let t = n - 163. Which is smaller: t or -22?
-22
Let c(d) = -d**3 - 11*d**2 - 4*d - 44. Let m be c(-9). Let l = 183 + m. Is l equal to 12?
False
Suppose -11*g - 35480 = 3*z - 7*g, 0 = z - g + 11843. Which is bigger: z or -11835?
-11835
Let c be (-1311)/(-152) - 6/(-16). Suppose 4*g - 5 = c*g. Let o be (g + -2)*(-2)/16. Which is smaller: -2 or o?
-2
Let t be 2/18*1017/93790. Which is smaller: 1 or t?
t
Let w = 63/311 + 1913/5909. Is w <= -7?
False
Let u(x) = 2*x**2 - x - 1. Let q be u(-3). Let w = 12 + q. Suppose -5*z + 2*z + 4*p = -83, 3*z = -2*p + 107. Is w > z?
False
Let i be ((-14)/(-21) - (-2)/(-4)) + 166670/(-999180). Which is smaller: -1 or i?
-1
Let j = 2.163 - 1.063. Let g = -22 - -12. Do j and g have the same value?
False
Suppose 4*q + u - 24 = 0, -4*u + 5 = -3*q + u. Suppose 0 = -q*b - n - 34, b - 8*n + 13*n = -2. Which is smaller: -81/10 or b?
-81/10
Let b(u) = 25*u**2 - 251*u - 83. Let v be b(26). Is v not equal to -2/7?
True
Let i(q) = 9*q - 69. Let f be i(7). Suppose -3*o + 16 = -5*o. Which is smaller: f or o?
o
Let u = 356 + -3184/9. Let s = -496 - -492. Let q be s + (6/4)/(42/104). Does q = u?
False
Let s be (5 + 26/(-5))/(3/105). Is s at most -7?
True
Let w be 1/(-7) + 19/(1330/640). Suppose g + 14 - 20 = 0. Suppose g*m = 4*m + 14. Which is greater: w or m?
w
Let r = -1.21 + 1.31. Which is bigger: 4.47 or r?
4.47
Let z = -47.884 + -0.116. Let y = z + 17. Let d = 35 + y. Which is greater: -0.06 or d?
d
Let h = -0.93 - -158.93. Let v = h + -157.973. Is -2/5 < v?
True
Suppose 5*v + 2*n - 17 = 0, n - 17 = -v + 4*n. Let r be (58/4)/(v/(-40)*4). Is r != -147/5?
True
Let r(c) = 14*c - 167. Let y be r(11). Is 104 less than or equal to y?
False
Let r(x) = -3*x**2 + 2*x + 8. Let u be r(-2). Let y be 54/(-16) + (-3)/u. Is -20/7 < y?
False
Let b = -0.009 + 0.109. Let u be ((-2)/(-172))/(114/(-16) - -7). Are u and b non-equal?
True
Suppose -2*g - 5*a + 6*a - 56 = 0, 4*g = -5*a - 84. Does g = -23?
False
Let v = 1.988 - -0.012. Let k = 21 - 31. Which is bigger: k or v?
v
Let w(p) = 7*p + 91. Let g be w(-13). Let s be ((-1)/125)/((-34)/255). Which is greater: g or s?
s
Let m = 17072 + -17072. Is m > 5/269?
False
Suppose 45 = -4*x - 5*d + 2*d, 3*d = 2*x + 27. Suppose 32*i = 16*i - 48. Let l be (-12)/9 + i/(9/38). Which is smaller: x or l?
l
Let w(g) = -g**2 + 4. Let v be w(2). Suppose v*z + 2 = z. Is 16 less than z?
False
Let j(i) = -2*i - 15 + 9 + i**3 + 2 + i + 5*i**2. Let y be j(-5). Let d be (-2)/(y - 0)*(-12)/(-128). Which is greater: 0 or d?
0
Let l = 4433 + -4456. Which is smaller: 4/3 or l?
l
Let y be 96/10 + (-8)/(-20). Let s(u) = 5*u**2 + y*u - 10*u**2 + 4*u**2 - 16. Let i be s(8). Which is bigger: i or -1/6?
i
Suppose -5*i + 15 = 5*m, 3*m = -i - 95 + 98. Which is smaller: m or 174/295?
m
Let f be ((-2)/1 - -4)/((-1068)/696603). Are -1305 and f nonequal?
True
Let a = 806334784419/1098559286 - 34/7736333. Let c = -734 + a. Is -1 smaller than c?
True
Let c(r) = -r**3 - 24*r**2 - 7*r - 102. Let h be c(-24). Let s be (-11)/h - (-28)/24. Let o be (12/(-788))/(3/2). Which is smaller: s or o?
o
Suppose o + 3*v = 1353 + 910, -3*v = 12. Suppose -12*f + o = f. Suppose f + 287 = 11*b. Which is bigger: b or 41?
b
Let a(m) = m**2 + 7*m - 7. Let r be a(-8). Suppose -r + 15 = -v. Let w be 196/(-18) + v/126. Is w > -2?
False
Suppose 0 = 73*a - 93*a. Suppose 5*m - 4*y - 24 + 7 = a, -3*y = 3*m + 6. Which is smaller: m or 19/14?
m
Let t = 1074500/783 + -26707/27. Let z = 383 - t. Is z greater than 5?
False
Let d(w) = -w**2 + w + 6. Let v be d(0). Let n be v/((-9)/(495/(-10))). Let f be 336/n - (-10)/(-55). Are f and 14 unequal?
True
Suppose 11*d + 34 = 13*d. Suppose -3*r + d = 2. Suppose -3*h = -0*h + 2*u + 19, h + 15 = -r*u. Is h > -3?
False
Let t = 206 + -611. Let c = 404 + t. Which is smaller: -9/13 or c?
c
Let k be (2/(-60)*-3)/(2/(-3748)). Let o = 190 + k. Suppose 0 = -s + 1 + 1. Which is greater: s or o?
o
Suppose 47 + 9 = -40*i + 16. Which is greater: i or 139?
139
Let n(v) = -v - 9. Let y be n(-8). Let k = -2/8899 - -44581/382657. Is y > k?
False
Let y = 260 + -805. Let z = y - -848. Which is smaller: z or 305?
z
Let c(d) = -d**3 + 6*d**2 + d - 1. Let l be 2 + (-18)/(-8) + (-24)/(-32). Suppose -l*s = -2*z + 32, 5*z - 10 = -s + 16. Let w be c(z). Is w > 0?
True
Let z = -3.22 + 4. Let l = z + -1.23. Which is bigger: -2 or l?
l
Let m(o) = 272*o + 14. Let q(w) = -91*w - 5. Let z(a) = -3*m(a) - 8*q(a). Let x be z(1). Let k = x - -90. Which is smaller: -0.01 or k?
-0.01
Let n = 287 + -1551. Is n less than -1266?
False
Let o(x) be the first derivative of 5*x**4/24 - x**3/6 + x**2 + 9. Let g(i) be the sec