Let q be t*(-4)/(-48)*(-6)/(-8). Let a = 3 + -2. Are q and a unequal?
True
Suppose -5*n + 3*q - 40 = -2*q, -5*q = -10. Let p be (-45)/n - (-18)/(-12). Suppose 4 = 2*w + p. Is w at most as big as -2/13?
True
Let t be -1855 + (-28)/49*28. Which is greater: -1875 or t?
t
Let x be (-2)/(-4) - 152/285. Does x = -41?
False
Suppose 2*r = 7*s - 210, -3*r + 2*s + 157 - 302 = 0. Suppose 0 = 4*i - 20, 0 = 2*p - 2*i + 2. Suppose p*j = -j - 170. Which is smaller: j or r?
r
Let a = 265 + -274. Let n be (-3)/a + 2 + 489/(-9). Which is smaller: 3 or n?
n
Suppose 6*f - 6 = 5*f. Let k be 3523/546 + (-1)/6. Is k >= f?
True
Suppose 0 = -2*j - j. Let l be (0 + (-3)/2)/((-24)/32). Let k be -1*l*2 - (-432)/104. Is k less than or equal to j?
False
Suppose -211 = 13*j - 3. Let k be (69/(-4))/(12/j). Is 18 less than k?
True
Suppose -2*p - 95 = 5*z, 2*z + 3*p + 32 = p. Let a(b) = -b**3 - 2*b**2 + 42*b - 104. Let r be a(3). Are r and z nonequal?
True
Let o = 0.2668 + -1.2668. Which is greater: -463 or o?
o
Suppose 0 = 6*t - 14*t + 296. Let h be (-840)/(-22) + 2/(-11). Is h <= t?
False
Let p = -42424 - -42425. Which is bigger: -1736 or p?
p
Suppose -40 = 4*j + 2*x, -3*j + 5*x - 13 = 4. Let y = -7638 - -7636.3. Which is greater: j or y?
y
Suppose 4*v = -2*d - 16256, 9969 = -6*v - d - 14419. Is v smaller than -4065?
False
Let n = -1385 - -1294. Is n equal to -89?
False
Let q = -106 + 0. Let z = 105.9 + q. Which is smaller: -72 or z?
-72
Let b = -4.1 + 3.6. Let q = 0.5 + b. Which is greater: q or -5/3?
q
Suppose 18*d - 26597 - 10608 = 1063. Does 10633/5 = d?
False
Suppose 24271*z = 24251*z + 35340. Are 1768 and z nonequal?
True
Let d = -1403 - -1402.7. Which is smaller: -0.0307 or d?
d
Let o(v) = v**2 + 18*v + 16. Let y be o(-19). Suppose -38*c + y*c = -360. Let x be (-2 + 1)/(-3*(-28)/c). Is x >= -2?
True
Let i = -12113 + 12112. Which is bigger: -8/1053 or i?
-8/1053
Suppose 2*w - 6 = -0*w. Let o be 27/(-63) + w/7. Suppose 3*f + 2 - 14 = o. Which is smaller: 7 or f?
f
Let g = 18435886 - 1069192251/58. Let c = g + -1537. Which is smaller: c or 1?
c
Let t = 0.6 - 0.53. Let c = -129 + 125.8. Let z = c + 4.2. Which is smaller: t or z?
t
Let m be (-198)/1188*(-4)/(-3). Let k be 8/20 + 1/35. Is k equal to m?
False
Suppose -z - 2*z + 2727 = p, -3646 = -4*z + 2*p. Is z not equal to 910?
False
Let l(s) = 17 - 25*s - 27*s + 65*s - 29*s. Let a be l(9). Which is bigger: -1 or a?
-1
Let y(u) = -u**2 + 31*u + 109. Let p(i) = i**2 - 16*i + 34. Let k be p(16). Let j be y(k). Let x = 1 + 1. Which is smaller: x or j?
x
Let a = 985 - 2862. Is -1878 smaller than a?
True
Let x be (5/(-3))/(39/351). Is x < -267/19?
True
Let y = -459.7 - -461. Suppose -3*j + 2 = 5*p, -3*j = 5*p + 2*j. Let o be (-3 + (-46)/(-14))/p. Do y and o have the same value?
False
Let c be ((-140)/8 - -1)/((-322)/(-184)). Which is smaller: 3 or c?
c
Let f = 76 - 12. Let j be (-10)/(160/(-792))*3/(9/4). Is f != j?
True
Let i be 119508/(-20) + 1 + (-6)/(-15). Let n = i + 8511. Let k = 40577/16 - n. Is k at most -1?
False
Let n = -11930 - -11938. Which is greater: n or 3.44?
n
Let f = -32 - -40. Let j(n) = -3*n + 16. Let x be j(4). Let h be 8/x - 8 - -2. Which is greater: f or h?
f
Let s = 14.7 - 7.4. Let g = s - 7.7. Is -12 < g?
True
Suppose -7*f = -5*f - 6. Suppose 0 = 5*b + 10, -6*g - 20 = -f*g - 2*b. Let p be (-1)/(3/9 + g/(-12)). Are p and -2/9 nonequal?
True
Let x(g) = -672*g - 4704. Let v be x(-7). Let w = 6031 + -223162/37. Which is bigger: w or v?
v
Let y = 102102 - 444858416/4357. Is 2 >= y?
True
Let h be (-6 + 4)*1 - -1*28. Let w(g) = -g + 18. Let r be w(17). Let l be 6/10*45/r. Which is greater: h or l?
l
Let z(j) = -302*j + 1. Let a be z(1). Let y = -616 - -581. Let r be (-4)/10 - a/y. Is -1 smaller than r?
False
Let c be 214/12 - (-15)/(-18). Let n = 13 - c. Let f be 168/63*45/n. Are -30 and f unequal?
False
Let d be 7 + (0 - (-32 - 3)/(-7)). Suppose -2*c + 5*x = -10, c - 3*x - 10 = -c. Suppose -o + 1 - 5 = d*m, -c*m - 2*o = 10. Is -46 not equal to m?
True
Let n = -19699 + 97946/5. Let r = n + 109. Is 0.5 >= r?
True
Let z be ((-120)/16)/((-21)/(-2338)). Is z greater than or equal to -834?
False
Let g be 6/75 - 1248/(-650). Suppose p = -5*n - 5, -26 = -g*p - 6*n + 5*n. Let k = -0.7 - -1. Is p greater than or equal to k?
True
Suppose 2*y = -3*y + 285. Let o = -47192 + 47250. Which is smaller: y or o?
y
Let q(f) = f**2 + 25*f + 276. Let x be q(-7). Is x at least as big as 1209/8?
False
Suppose 5*v - 406813 = -4*o, 2*o - 4*v = 6*o - 406816. Let c = -608257/6 + o. Let p = 645/2 - c. Which is greater: p or -7?
-7
Let o = -441/2 + 220. Let p(w) = -w + 76. Let a be p(-24). Is o at least as big as a?
False
Let g = 1131 + -2670. Which is smaller: -1 or g?
g
Let m = -5619 + 3864. Which is bigger: m or 0?
0
Let a = 494.01 - 492. Let p = a + 17.99. Is -2/5 smaller than p?
True
Suppose -26*v - 206 = 1458. Is v <= -58?
True
Let a = -3947 - -3928. Suppose -u - 6*s + s + 2 = 0, -3*s = 2*u - 4. Suppose u - 1 = -h. Which is bigger: a or h?
h
Suppose -98 = -3*r + k - 282, 0 = -r - 4*k - 70. Suppose 321 = -5*d + j, 3*j = 5*d + 45 + 268. Is d smaller than r?
True
Suppose -11 + 35 = 6*x. Suppose 0 = -5*y - 0*y - 20, -x*y + 326 = 3*f. Let r = 108 - f. Is r less than -10?
False
Let r be 3/11531*(560/(-42))/40. Is r equal to -1?
False
Let y be (4/(80/(-18)))/((-6)/84) + 5. Is y greater than 11?
True
Let x(w) = -w**2 + 10*w - 12. Let h(s) = s - 1. Let c(a) = -2*h(a) - x(a). Let j(u) be the first derivative of c(u). Let g be j(4). Are -2/11 and g equal?
False
Let s = 1505.2 - 1507.2. Which is smaller: -125 or s?
-125
Let a(p) = -p**3 + 54*p**2 + 54*p + 104. Let j be a(55). Which is smaller: j or 29?
29
Suppose 0*q = 10*q. Suppose q = -11*s + 15*s. Which is bigger: s or -4/113?
s
Suppose 571 - 603 = 8*x. Is -80 < x?
True
Suppose 0*l - 4*l = -4*m - 120, 4*l = m + 108. Suppose -j = 3*q - 3, 0 = 5*q - 2*j + 18 - 34. Suppose -q*g - l = -32. Which is greater: 5 or g?
5
Suppose -2328 = -8*y + 1152. Let m = 283 - y. Which is greater: -153 or m?
m
Let v = 850665 - 176937859/208. Let x = -28/13 + v. Is 1/3 at most x?
False
Suppose 3*n + n = -28. Let u = -7 - n. Let h be (-238)/(-340)*12/(-21). Which is smaller: h or u?
h
Let d be (-177)/(-2)*(-204)/(-306). Which is smaller: 355/6 or d?
d
Let q = -19000 - -284521/15. Is -33 at least q?
False
Let r = -66.36 - -59.66. Is r greater than or equal to -0.15?
False
Suppose 16 = 3*t + t. Suppose 2*u - 2*j = t, 2*u = -0*j - 5*j - 3. Suppose -u - 3 = 4*l + n, -5*n - 3 = 3*l. Which is greater: -2/107 or l?
-2/107
Let z = -2143903/108 - -19851. Is 0 greater than z?
False
Suppose 32*q = 3*q + 11745. Let h be -2*8/32 - q/(-2). Are h and 202 unequal?
False
Suppose -23*x + 15*x - 208 = 0. Let g = -21 + x. Is -45 less than g?
False
Let j(c) = -c**3 + 29*c**2 - 115*c - 12. Let f be j(12). Which is smaller: f or 1050?
1050
Suppose -84*k + 83*k = 33. Let c be (k/(-6))/(2/44) + 1. Is 121 greater than c?
False
Suppose -5*f = 3*q - 253, 177 = 2*q + 6*f - f. Let h be ((-2 - -1)*1)/(3/(-12)). Suppose 0 = -h*i - 9 - 3, -148 = -2*o - 2*i. Is q greater than o?
False
Let o = 0.687 + -0.7364. Let g = o - 32.9506. Is -9 greater than g?
True
Let l = -466 - -466.803. Let g = l + -0.695. Which is smaller: g or -0.1?
-0.1
Suppose 0*i = 2*i + 4. Let q = -0.3 - -9.3. Let j = q - 9.07. Which is greater: i or j?
j
Let v = 283 - 234. Let f = 78 + -126.3. Let i = v + f. Is i less than or equal to -5?
False
Let q(g) = g**2 - 385*g - 2349. Let l be q(-6). Are l and -4971 equal?
False
Let f be (-448)/128*(-2755)/203. Let q(p) = 47*p. Let m be q(1). Is f at most m?
False
Let v = -21305 - -21334.922. Let p = -0.078 - v. Let k = 14.6 - 11.6. Is p < k?
True
Suppose 4*h = c + 3, 5*c - 6*h = -11*h - 15. Let t be 114/(-11) - (c - -8 - 5). Which is smaller: -11 or t?
-11
Suppose -250*w - 2080 = -830. Which is smaller: w or -253/10?
-253/10
Let j be 31 - ((-14)/7)/((-4)/6). Let s = 54 - j. Suppose s + 10 = 4*v - 2*n, v - 12 = 2*n. Do v and 9 have different values?
True
Let j = 45019/62 - 726. Let r = 387/4526 - j. Which is smaller: r or 2/9?
r
Let x = 3.5 - 0.7. Let l = x - 2.8. Suppose 0 = -4*g - 22 - 66. Which is smaller: l or g?
g
Let i be 11/(-3) + 20 + -15 - 2. Which is smaller: i or -336?
-336
Let l = -17.2 + 17. Let a = -1 + l. Let q = -10406