o and i non-equal?
True
Let t = -426 + -215. Let f = 660 + t. Is 17 greater than or equal to f?
False
Suppose -29*r - 110 = 1340. Which is greater: -16 or r?
-16
Suppose 2*n = -5*k + 48, -6*k + k = -4*n - 24. Let x be (-60)/k + (-14)/(-2). Which is greater: -93 or x?
x
Let u = 0.355 + -0.255. Let a be 175/(-340) - 1/(-2). Is u at most a?
False
Suppose -5*o + 3*k + 4243 = 0, -2*o + 443*k - 441*k = -1698. Are o and 849 unequal?
True
Suppose u - 6*n = 20, 68*n = -u + 64*n - 10. Is u at least 16/13?
True
Suppose -4*z + 1701 = 5*b, -3*b - 5*z = 2*b - 1705. Let c = -3/32462 - -5461733/16231. Do b and c have different values?
True
Let q = -970 + 1010. Suppose q*x - 29*x + 3564 = 0. Which is smaller: x or 0?
x
Let i = -1348 - -495. Which is smaller: -857 or i?
-857
Let v = 6.4 - 6. Suppose 4*z = 3*i - 37 - 43, 88 = 3*i + 4*z. Which is smaller: v or i?
v
Let i be 7/84 - 3428/(-336). Suppose -4 - 6 = -l. Is i smaller than l?
False
Let n = 10769/4 - 2692. Do -5015 and n have the same value?
False
Let i = 125509/3 - 42716. Which is smaller: i or -881?
-881
Let g be (4/(-13))/((-956)/(-6214)). Let b(x) = 7*x. Let c be b(3). Which is smaller: g or c?
g
Suppose -20 = 5*x, 2*s - 4 = -0*s + x. Suppose -3*m + 111 + 0 = s. Which is greater: 35 or m?
m
Suppose 7*r + 16 = 9. Let i be -1*r/(-3) - (-215)/15. Let f = 40 + -25. Which is greater: i or f?
f
Suppose -19*w + 2*k = -14*w + 420, -192 = 2*w + 4*k. Is 0 less than w?
False
Let o be (4028/33 - 0) + 566/(-9339). Is o less than 123?
True
Let z(k) = -10*k - 21. Let q be z(-6). Let h = q - 39. Let p = -707 + 19793/28. Are p and h equal?
False
Let h(f) = 2*f - 36. Let l be h(18). Suppose l = -5*o - 2*t + 5, 2*t = -7*o + 3*o + 4. Are o and 2/19 nonequal?
True
Let u = 7908 + -6421293/812. Is 0 at most as big as u?
True
Let b be (1/36)/(5/(-6) + (-7)/(-21)). Suppose -6*p = -2*p - 80. Suppose 3*c + 4*q + 15 = 0, -8 + p = -4*q. Which is smaller: b or c?
c
Suppose q + 3*b + 451 = 96, 351 = -q - 4*b. Let l = -678 - q. Is -310 greater than or equal to l?
True
Let n = -1 + 2. Let f = 51360/22927 + -522/227. Is n bigger than f?
True
Let y be 1096/72 - (-2)/(-9). Let g be 14/140*y/2. Which is greater: g or -49?
g
Let j = 0.08352 - -0.01648. Is j bigger than -1142?
True
Let z be 366045624/(-18921) + (-4)/4. Let l = z + 19347. Does -1 = l?
False
Let c(o) = o**3 + 6*o**2 + 3*o + 6. Let g be c(-5). Let r = 97 + -94. Suppose r*f - 41 = -2*k, f - 11 = -k + 8. Is g equal to k?
True
Let y be (-8 - 408/(-60))/((-9)/690). Which is smaller: y or 91?
91
Let g be ((-16)/3)/((-6)/(-9)). Let k be (-6)/g*104/36. Suppose a - 3 = -2*a. Which is smaller: k or a?
a
Let t(v) = -64*v - 244. Let h be t(5). Is h > -560?
False
Let i = 5.208 - 0.108. Let v = -33.8 - i. Let h = -39 - v. Which is bigger: 1 or h?
1
Let q = -68212/15 - -4548. Is q > -50/7?
True
Let r = 44.1 + 139.9. Let b = r - 204. Which is greater: b or -2?
-2
Suppose 3*d + 10185 - 35250 = 0. Which is smaller: 8354 or d?
8354
Let m = -27 + 27. Let p = -1281 + 1276. Is m less than p?
False
Let z = -972 - -735.8. Let h = z + 236. Let f = 0.3 - 0.13. Is h >= f?
False
Let y = 14 + 16. Let l be (-40)/y*(0 + -3). Let u = -977 - -972. Which is smaller: l or u?
u
Suppose -600 = -17*y + 20*y. Let u = -780 + 579. Is y >= u?
True
Let n = 0.3676 + 4.6324. Which is greater: n or 23?
23
Let d be ((-4199)/(-26))/(17/(-204)). Does d = -1936?
False
Let f(k) be the first derivative of -13*k**2/2 - 39*k - 3. Let d be f(-3). Is 4/17 >= d?
True
Suppose 19*b - 20*b - 28 = -2*q, 4*q = -5*b - 70. Which is smaller: -13 or b?
b
Suppose p + 4*q = -14, 0 = 4*p - 3*q + 5*q. Let i be (-31)/(-31)*p/(-10). Are -2/111 and i non-equal?
True
Let n = 1.58 - 1.294. Let q = 11.614 + n. Let m = q - 12. Is 56 at least as big as m?
True
Let x = 1106 - 1105.9. Let y = 307/105 + 14/15. Are y and x equal?
False
Let u = -2.59 - -51.23. Let v = u - 13.68. Let p = v + -35. Do p and -1 have the same value?
False
Let o(j) = -j**3 - 3*j**2 + j - 2. Let i be o(-3). Let s(v) = 2*v**2 - 42*v - 37. Let r be s(22). Suppose 2*m - 11 = -r. Which is greater: m or i?
m
Let c(b) = -2*b**2 - 1555*b - 112855. Let l be c(-81). Let z be ((-8)/(-26))/(2/(-135)). Which is greater: z or l?
z
Let h(w) = -39*w + 3637. Let u be h(-25). Is -0.2 < u?
True
Let r be 4/(-22) - 3081624/748. Do -4118 and r have different values?
True
Suppose 5*g - 48*l + 44*l = 3109, -6*g + 3792 = 2*l. Are g and 6303/10 unequal?
True
Suppose -5*b = -5*p + 46 + 9, -3*b - 12 = 0. Suppose 0 = -4*r - 0*t - 3*t - 56, r - t = -p. Suppose 6*j - 2*x = 2*j - 52, x - 2 = 0. Is r bigger than j?
True
Let w(j) = -31*j + 1. Let s be w(-4). Suppose -14*r + 239 = -s. Which is greater: r or -0.2?
r
Suppose 0 = -3*y - 2*y + 300. Suppose 3*v + 0*v + m - 36 = 0, 2*m - y = -5*v. Let q(h) = -2*h**2 - 15*h + 6. Let u be q(-7). Which is smaller: v or u?
v
Let n(j) = -j**2 - 15*j - 14. Let o be n(-14). Suppose -13*l + 10*l + 57 = o. Suppose 2 = l*z - 20*z. Is -2/3 smaller than z?
False
Let c = -7320 + 7162. Which is bigger: c or -146?
-146
Let c(i) be the second derivative of -i**3/2 + 5*i**2/2 - 12*i. Let r be c(-4). Let d be 2/(-11) - r/(-33). Are d and -4/7 nonequal?
True
Suppose -9*t + 9*t - 4 = 4*t. Is t <= -92/71?
False
Let f be 2*(14/7 + 85/(-2)). Let b = f + 82. Which is bigger: 1/392 or b?
b
Let w = 3190.81 - 3191. Is -0.102 > w?
True
Suppose 0 = -3*y + 54 - 72. Let k be 2/(-2) - (y + 2470/430). Which is smaller: 0 or k?
k
Let v = -30096 - -63773426/2119. Which is bigger: -2 or v?
v
Let d = -0.174 + -72.826. Let x = d - -72.81. Let j = x + -0.81. Is j at least as big as 0.08?
False
Let j = -6159289/18 + 342184. Suppose 0 = -4*x + 8*x - 8. Is j at least as big as x?
False
Let c = -297 - -296.983. Let r = 42.983 - c. Suppose -2*a - 4*b + 13 = 3*a, -a - 7 = -4*b. Is r not equal to a?
True
Let f = 0.4147 - 0.4377. Let t = -1.288 - -3.311. Let x = f + t. Which is bigger: -1.9 or x?
x
Let s = -95 - -95.1. Let l = 0.135 + -0.168. Let q = l - -0.016. Is q not equal to s?
True
Let f be (11/(-3))/(1/(-3)). Let z = f + -10. Which is bigger: z or -10/37?
z
Let m = 1.26 + -1.28. Let y = -965 + 964.97. Which is smaller: m or y?
y
Let m be 370 + 13 + 4/((-16)/44). Which is greater: 390 or m?
390
Let w be 36/(-24)*3000/36. Is -124 smaller than w?
False
Suppose 356 = 3*i + 344, 2*b = 3*i + 36. Is 51 smaller than b?
False
Suppose -4*k = 2*k - 5*k + 231. Is k at least as big as -2066/9?
False
Suppose 1757 = -4*l + b + 6677, 0 = -b + 8. Is 1242 greater than or equal to l?
True
Let n = -123102 + 1248008075/10138. Is 1 less than n?
False
Let q be (-261258)/(-448470) - (-9)/90. Let y = q - 1/1359. Which is smaller: 1 or y?
y
Let c = 185 - 299. Let a be (c/108)/(6/12). Which is smaller: -3 or a?
-3
Let y be (-372)/(-558)*3/2. Which is greater: 2/5725 or y?
y
Suppose 21*h + 1 + 35 - 15 = 0. Let t be 1/(178/(-355)) - -2. Which is smaller: h or t?
h
Let a(v) = -64*v**2 + 3*v - 1. Let k be a(2). Let i(h) = -15*h**2 + 392*h + 100. Let z be i(27). Is k smaller than z?
False
Let n = 210 - 26. Let d = -177 + n. Which is smaller: -0.6 or d?
-0.6
Let y = -64 + 64. Let p = 16.106 - 0.206. Is p equal to y?
False
Let x = 2985 + -2495. Is 3 less than or equal to x?
True
Let m be (-6)/(-41)*(-14)/630. Let r = 46 - 47. Is m >= r?
True
Let o = -5973 + 6036. Which is bigger: o or 65?
65
Let q(l) = 2*l + 31. Let c be q(9). Let j = 59 - c. Let o be (-4)/j*(158 + 0 + -3). Is -61 != o?
True
Suppose -48 = -4*g - y, -171*y = 5*g - 167*y - 49. Let c be 1/((-20)/(-18) + -1). Are c and g equal?
False
Let i = 2 + 4. Let a = i - -38. Let s = a + -44. Is s less than -2/47?
False
Let s(r) = 395*r**2 - 46*r - 122. Let p be s(-3). Is p <= 3572?
True
Let y = 849.7 - 849.8. Is y < 13/219?
True
Let z(t) = t**3 - t**2 - 14*t - 1. Let d be z(-3). Let v be 4/(-78)*d/10. Which is smaller: 0 or v?
v
Suppose 219*x - 237*x = 0. Which is greater: x or -72/1241?
x
Let a be (-2)/(-7) + 1472/(-7). Let g = -213 - a. Which is bigger: -11 or g?
g
Let n = 401 + -18044/45. Suppose -3*d = 2*d - 40. Let k = d + -9. Which is smaller: k or n?
k
Let y be -1*3/(320 - -1). Let k be (-4012)/(-17120) - (6 + (-102)/16). Let w = y + k. Is w >= 2?
False
Suppose -3*j = -j + 6, -3*j = 4*i + 113. Let p(q) = -20*q**2 + 185*q + 3679. Let d be p(19). Is i at most d?
True
Suppose 4*l