 w = -5.95324 + 0.05324. Is 0.44 at least as big as w?
True
Suppose -81*r - 14400 = -241*r. Which is smaller: 112 or r?
r
Let o be 2/11 + (-860)/(-110). Suppose 3*f = 4*a - 11, -6 = 5*f - 1. Suppose -a*r = 4*y - 26, 3*r + 2 - 32 = -3*y. Is o at least r?
True
Let r = 18 - 94. Let v be 8/(-1)*285/r. Let w be (3 + (-95)/v)*-8. Which is bigger: w or 0.2?
w
Let t = 3 - 2.84. Let y = -33.24 - -36.08. Let n = t + y. Is n at most -0.3?
False
Let z = 3842 - 3841. Which is greater: z or -2/6641?
z
Let b = 203 - -67. Suppose 0 = 2*s - s + b. Let h be 3/s*8*(-10)/(-4). Which is greater: h or 30?
30
Let i = -77 + 30. Suppose 3*o + 7*k + 106 = 0, 60*k - 64*k + 208 = -4*o. Is o smaller than i?
False
Let x be 2 - (0 + 2 + -4). Suppose 5*k - 4100 = 30*k. Let r be 1 - x/((-16)/k). Is -41 equal to r?
False
Let a(o) be the first derivative of -o**4/4 - 13*o**3/3 - 8*o**2 - 50*o + 46. Let c be a(-12). Which is greater: c or -8?
c
Let q = -12806403/71 - -180369. Which is smaller: q or 0?
q
Suppose 2*n = 4*n + i - 7, 4*i - 19 = -5*n. Suppose 4*v - 9 - n = 0. Suppose 2*j = 4*d - 6, -v*d + 26 = 2*j + d. Is 3 greater than j?
False
Let j = 16227 + -12721. Which is smaller: 3507 or j?
j
Let o(z) = -z**2 - 10*z + 4. Let u be o(-11). Let r = -59 - -281. Let p = r - 227. Which is bigger: u or p?
p
Let l = 5.2 - 17. Let z = l + 12.312. Let r = z - -0.008. Which is smaller: -2/3 or r?
-2/3
Let r be (2 - 1) + (1 - -2). Suppose 0 = -r*n + 5*a - 50, -2*a + a = -5*n - 52. Suppose 350 = 16*q - 66*q. Do n and q have different values?
True
Let g = 113 + -107. Suppose 0 = 28*p - g*p + 22. Which is smaller: 4/341 or p?
p
Let z be (-977)/858 - (-4123)/3534. Are z and -1 unequal?
True
Let p be (-1557)/168 - 17/(-119). Which is smaller: -9 or p?
p
Let h = -24415 + 23789. Are h and 0 non-equal?
True
Let f be (((-1670)/(-4))/5)/2. Let y = f + -42. Suppose p = -5*j + 9, 4*p + j + j = 0. Is p less than y?
True
Suppose -6*m + 7 = -17. Suppose -3*p - 9 = 0, 0*n - 2*n - 62 = m*p. Suppose 2*k - k = 2*l + 51, 2*k = -3*l - 80. Is l at most as big as n?
True
Let a = 204 - 214. Let q = a + 9.6. Do q and 0.18 have the same value?
False
Let v be 0 - ((-2)/10 + 1725/(-125)). Suppose -w = w + 4*c - 26, -3*w + 39 = 5*c. Is w at most v?
True
Suppose 0 = 167*h - 27 + 194. Is h bigger than -22/713?
False
Suppose -3*d = i + 7, -2*i + 7*i - 1 = 3*d. Let t be (0 - 1)/d - 11319/66. Which is greater: -169 or t?
-169
Let g = -1091.05 + 1091. Is g >= 0.0406?
False
Let n(i) = 2*i**2 - 4*i + 6. Let s be n(4). Let u be ((-11)/s)/(1/(-18)). Suppose 2*z + 2*y = 6, 3*y = 3*z - 0*y + u. Which is smaller: 6/11 or z?
z
Let x be -205*380/4 + (9 - 5). Do -19471 and x have the same value?
True
Let j(v) = 10*v + 3. Let g(p) = -7 + 12 + p**2 + 19*p + 2*p**2 - 2*p**2. Let t(x) = -2*g(x) + 5*j(x). Let l be t(9). Is -48 greater than l?
True
Suppose -1 = -j, 2*u = -3*j + 96 + 31. Is u not equal to 792/13?
True
Let d = -17503.0052 - -17503. Is d >= -5/8?
True
Suppose 5*x = 8 - 278. Let k = -44 - x. Let i(f) = f**3 - 8*f**2 - 22*f + 21. Let y be i(k). Which is smaller: 1/12 or y?
1/12
Let x be (6/(-4))/((-9)/5976). Let n be ((-30362)/(-15166) + -2)/(113/x). Let y = -2/7583 - n. Which is smaller: y or -1?
-1
Let p(m) = -2*m**3 + 23*m**2 - 30*m - 1. Let h be p(10). Let n be (9/(-162))/((-3700)/(-12534)). Let d = 22/111 + n. Is d >= h?
True
Suppose 5*h + 551 = 611. Let o be (-4)/h*-17 + (10 - 11). Which is bigger: o or 4?
o
Let a = 0.042 + 0.016. Let b = 61.038 - 111.98. Let r = b - a. Which is smaller: -1 or r?
r
Let q = 841 - 5057/6. Suppose -2*n - 5 + 1 = -3*c, 4*n + 14 = 3*c. Let p = n - -4. Which is greater: p or q?
p
Let b = 16 + -10. Let h = -499.9 + 501. Is h at least b?
False
Let h(b) = -2 - 4 - 18 - 384*b + 380*b. Let g be h(-17). Which is bigger: 42 or g?
g
Let m(n) = n**2 + 2*n - 54. Let i be m(-5). Let l(h) = -h**3 - 39*h**2 - h - 39. Let t be l(i). Which is smaller: t or -6/131?
-6/131
Let k = -115 + 117. Suppose 3*f = -2*f + 4*d - 335, -4*f - 247 = d. Let c be (k/(-3)*3)/((-42)/f). Which is smaller: c or -11/4?
c
Let r be 26/(-91)*49/126*-3*3. Let c = -0.3 - -0.1. Is c > r?
False
Let p(h) = 2*h**2 + 26*h + 4. Let l be p(-13). Let y be (84/(-18) + l)/((-8)/(-6)). Let g = 3 + 1. Which is greater: y or g?
g
Suppose -3*w + 120 = -4*h, -4*w + 38 = -2*h - 8*w. Let b = h + 28. Which is smaller: b or -2/135?
-2/135
Let k = 3498 + -5693. Which is greater: k or -2197?
k
Suppose -83 = -c + 4*c + 4*g, -4*g - 41 = c. Suppose 90*k - 306*k - 2263 = 2057. Is k at least c?
True
Let p = -4576776619/36 + 127143159. Let q = p - 10476. Let l = -44/9 + q. Which is smaller: -6 or l?
-6
Suppose 5*g = -q - 11438 + 1024, 2*g - q + 4167 = 0. Is g >= -2083?
True
Let p(r) = 5*r + 31. Suppose -4*f - z - 29 + 1 = 0, -4 = -2*f + 4*z. Let w be p(f). Suppose 0 = 3*d + 4*s + 105 - 43, -4*d + 3*s = 66. Which is smaller: w or d?
d
Suppose 3*m = 3*w + 6*m - 24, 1 = 2*w - m. Suppose 5*d - 2 = w*d, -i - 3*d = 12. Let b be (17/4)/((-6)/24). Is i smaller than b?
False
Let g = -7659246062/59 - -129822124. Let s = -4394 + g. Which is bigger: 0 or s?
s
Suppose 2*h + 5*a = 195 + 126, -165 = -h - a. Let t be (0 - 2)*h/16. Which is smaller: -27 or t?
-27
Suppose -9*d + 32 - 14 = 0. Let z be (11/d)/(24/48). Suppose b - z*b = 20. Is -6 at least as big as b?
False
Let c(z) = z**3 - 5*z**2 + 3*z + 10. Let q be c(3). Let b be (2 + 0 + -1)/q. Which is greater: 1/545 or b?
b
Let n(u) = u**3 - 14*u**2 + 10. Let d be n(14). Suppose 0 = d*f + 4*f + 294. Suppose -53 = 2*s - 9. Which is greater: s or f?
f
Let y(w) = 84*w**2 + 4*w + 1. Let f be y(-1). Let u = 80 - f. Is 3/53 >= u?
True
Let q be (-1)/(-4) - ((-3149)/12 + 8). Let n = 254 - q. Which is smaller: -2/23 or n?
n
Let i be 11/((-24)/4 + 7). Suppose -i = -b + 3*h, 8 = -2*h - 0*h. Does 3/35 = b?
False
Suppose 18 = 4*h + z, -2*h - 3*h + 4*z = -33. Suppose -10*i = -h*i - 2475. Suppose i = 10*k + k. Is 45 greater than or equal to k?
True
Let u = -61 - 34. Let w = 77 + u. Let q = -17.3 - w. Which is smaller: 1/3 or q?
1/3
Let k be ((-15498)/(-324))/41 - (-2)/(-12). Is 562 smaller than k?
False
Suppose -38*t + 50 = -36*t + 4*g, -2*t = 3*g - 56. Let i = 38 + -4. Which is bigger: t or i?
t
Suppose 4 + 32 = 9*q. Suppose -120 = q*l - 124. Let j be (l - (-15)/39)/(10/(-5)). Which is greater: -2 or j?
j
Let a be (-2)/((-10)/3 + 4) + (-232)/(-77). Let p(y) = -y**2 - 6*y - 4. Let z be p(-4). Suppose z*k + 1 = -3. Which is greater: a or k?
a
Let v = -538015/3080367672 - 1/274616. Is v greater than or equal to 0?
False
Let i = 1404380863093/5943 - 236308406. Let b = -3/1981 + i. Do b and 0 have different values?
True
Let n = -0.38 + 0.3. Let m = -446.1 - 23.9. Let y = m - -470.1. Which is smaller: y or n?
n
Let g be 35/525 + (-6404)/(-15). Is 433 smaller than g?
False
Let n(g) = -g**3 + 3*g**2 - 1. Let h be n(3). Let l = -148/5 + 30. Let b = 1/5 - l. Which is smaller: b or h?
h
Let p = -150 + 166. Suppose 0 = 5*g - 12 - 13. Let v = g - p. Which is greater: v or -68/7?
-68/7
Suppose 4*a = v + 65, 0 = -4*a + 8*a + v - 63. Suppose -a*y + 64 + 944 = 0. Is y smaller than 66?
True
Suppose 5*k - 15 = 6*k - 4*o, -15 = 2*k - 3*o. Let f be 0 + 0 + ((-904)/k)/(-8). Which is bigger: f or -37?
-37
Let z be (24/3 - 7)/(1/(-2)). Let i be (10/(5/(-7 - z)))/2. Let q = 2512/5 - 506. Which is smaller: i or q?
i
Let i = 426.752 - 0.752. Let p = 208 - i. Are -1 and p equal?
False
Suppose -5*d - 247*y + 243*y = 1271, -2*y - 1012 = 4*d. Do d and -1505/6 have different values?
True
Let k = -10649 - -10647. Is -74/45 less than k?
False
Let m = -535/2 - -42257/158. Which is greater: 0.5 or m?
0.5
Let t = -46709661/694 - -67305. Is -1 > t?
False
Let h = 24 + -23. Let v(k) = -k**3 + 4*k**2 + 2. Let d be v(4). Suppose -4*b - m = -1, 2*b = d*m - 10 - 2. Is b at least as big as h?
False
Let r = 20049/8932 - -12/2233. Is r < 170?
True
Let t be (73 - -332)*4/10. Suppose -v = -t + 157. Let q = -1.94 - 0.06. Which is bigger: v or q?
v
Let m = 4936 - 4843. Is m equal to 99?
False
Let b(r) = -2*r**2 - 7*r - 5. Let z be b(-7). Let y be 2*((-12)/z + (-82)/(-36)). Suppose -2*g - y*g = -3*g. Is -1/5 at most g?
True
Let d be (-63)/(-56)*164/(-1189). Let o = 0.7 + -1.7. Which is greater: o or d?
d
Let r = 107 - 59. Let q be 4/6 + (-32)/r. Which is smaller: 20 or q?
q
Let v be 4