. Let p be (-7)/5 - 2/(-5). Are u and p nonequal?
True
Suppose 2*p = p - 92. Let q = p + 96. Suppose q*u - 56 = -48. Is u >= 2/3?
True
Let f = 3496 + -3497. Which is greater: 31/68 or f?
31/68
Let z(s) = s**2 + 1. Let j(l) = -17*l**2 + l - 6. Let b(k) = -j(k) - 5*z(k). Let g be b(2). Let v = g + -49. Which is bigger: -8/3 or v?
v
Let q(p) = -p**2 - 16*p - 40. Let j be q(-12). Suppose 126 = -14*z + j*z. Are -19 and z unequal?
True
Let i be 30/(-12)*16/(-10). Suppose 5*h + 40 = 3*d, 0*d + i*d - 5*h - 45 = 0. Suppose -8 - 22 = -d*v. Is v > 7?
False
Let f = -980/13 + 50071/663. Let x(z) = 7*z + 197. Let l be x(-28). Is f at most l?
True
Suppose -8*u = -4 + 332. Let s be (1*(0 + -1))/(-40 - u). Do 1/163 and s have different values?
True
Let g = 10 + -11. Let w be (32/384)/((-8)/((-320)/(-495))). Which is smaller: g or w?
g
Suppose 3*g + 4*b = -b - 220, 4*b = -20. Let k be (-3 - g/15)/(-10). Let v be (1 + -1)/(-3 + 1). Is k not equal to v?
True
Let o(w) = w - 2. Let g be o(2). Let s be g - 1*8/1. Let y = 10537 + -10548. Does y = s?
False
Suppose 4*t = -27 + 3. Suppose -4*d - 29 = -3*q - 32, 0 = 3*d - 4*q - 11. Let h be ((-150)/(-40))/(d/8). Are t and h unequal?
True
Let f be (-3 - 14/(-6))/(2/(-9)). Suppose -48 = -4*s + 3*h, 1 + 6 = f*s + 5*h. Suppose -7*x + s - 2 = 0. Which is greater: x or 1/10?
x
Let w be 6*(-2)/4 - 11. Suppose -57 = -4*p + p. Suppose h = 4*g + g + 21, p = -h - 3*g. Which is smaller: h or w?
w
Let t(m) = -4*m**2 - 2*m + 2. Let v be t(1). Let u = 0.52 - 25.52. Are u and v non-equal?
True
Let l = -4151 - -4233. Which is bigger: 100 or l?
100
Let j = -0.4 + -3.6. Let f = 34494 + -34474. Is f smaller than j?
False
Let a = 67.59 + -1.59. Let b = 77 - a. Let n = -10 + b. Is n less than 5?
True
Let g = -151 - -223. Let v be (5208/g)/(2 - (-10)/(-6)). Suppose 0 = -3*r + 5*f - 76 + v, 4*f - 272 = -5*r. Is 54 less than r?
False
Let j(x) = 3*x**2 - 6*x - 16. Let s be j(5). Suppose 5 = d + s. Which is greater: d or -26?
d
Let p be (5/(-10))/(1/4) + (-27976)/(-13975). Which is smaller: p or -1?
-1
Let k be (-8)/(-7848)*12769 + (-18 - -5). Which is smaller: k or 0.1?
k
Let p = 9829/7 - 39309/28. Let o = -63/2 + 321/10. Which is smaller: p or o?
p
Let p be -4*1 + 4/1. Suppose -2*y - 6*y = p. Suppose -5*m + 35 = -5*d, 4*d + m - 4*m + 23 = y. Is d less than or equal to -3/5?
True
Let t = -3391 + 5273. Is 1883 greater than or equal to t?
True
Let y = -9/38 - -251/418. Let k be ((-2)/(-5)*(-10)/(-4))/1. Which is smaller: y or k?
y
Let i(x) = -6*x + 5*x + 5 - 1 + 9*x. Let q be i(13). Suppose 4*c - 2*c - 135 = -5*l, -4*l = -5*c - q. Is 28 smaller than l?
False
Suppose 0 = -0*f + f + 82. Suppose -55*m + 60*m = 405. Let i = m + f. Is -8/5 bigger than i?
False
Let h = 7889 - 7117. Is 0.1 != h?
True
Let y = -21257 - -17186. Which is smaller: -4070 or y?
y
Let q = -1.07869 + 0.07869. Which is smaller: q or 144?
q
Let a(j) = -j**2 + 34*j - 15. Let n be a(33). Suppose b = 3*q - 4, -23*q + 27*q = -3*b + 53. Is b greater than n?
False
Let o = -2 - -1.8. Let c = 76.8 - 60.5. Let k = c + -17.1. Which is bigger: o or k?
o
Suppose 4*k = -5*y + 188, 0*y = 2*y + 2*k - 76. Let v be (-56)/y*(-2 - -1). Is -0.4 < v?
True
Let t be 50/30 + 956/(-3). Let h = t - -316. Is h >= 0.73?
False
Let y be (-49)/14 - (-17919)/4626. Is y greater than 0?
True
Let j = -35344 - -34988. Which is bigger: -18 or j?
-18
Let a = 67 - 63. Let b be 0/(a/1) + 0. Let m be (b - -5)*81/315. Which is bigger: 1 or m?
m
Let t be -352 + 0 - (34 - 38). Let z be t/(-45) + 2/(-5). Which is greater: z or 8?
8
Suppose 5*k = 35 - 0. Suppose -4*m - 2*q + 3 = 7, q = 3*m - k. Let b be (5 - 4)*3/11. Which is greater: m or b?
m
Let f = 12269 + -12263. Which is greater: -1382 or f?
f
Let o = -0.30415 + 0.66415. Which is smaller: -378 or o?
-378
Let r = 708 - 710. Let z be 20/(-6)*6/4. Which is bigger: r or z?
r
Let k(l) = l**2 - 36*l + 98. Let d be k(33). Let r be d*1/7 + 267/546. Which is greater: r or 1?
1
Let b = 39 - 34. Suppose -1 = 2*t + l, -b*t + l + 13 = -2. Suppose 0*h = -t*h + 5*h. Which is smaller: h or -2/137?
-2/137
Suppose j - 4*r = -8556, -21278 = 4*j + 2*r + 13054. Is -8580 equal to j?
True
Let l = 5508 - 5508. Which is greater: -26/85 or l?
l
Let m be ((-2)/50)/(12 - -4 - 17). Which is smaller: 12/7 or m?
m
Let y = 4587304753/25488 - 179979. Which is bigger: y or 1?
1
Let t be 50/60*4*9/295. Which is smaller: t or -4?
-4
Suppose 0 = -q - z - 1 + 4, 4*q + 3*z - 13 = 0. Suppose 19 = -0*n - q*n + p, 5*n + p + 17 = 0. Let h be n/6*(-6)/(-4). Does h = -2/35?
False
Let k be (1/(-2))/((-14)/(-36)). Let w = 1562.1792 - 1562. Let y = w + 0.0208. Which is greater: k or y?
y
Let t(f) = 2*f - 19. Let s(q) = 10*q**2 - 3*q + 2. Let u be s(1). Let y be t(u). Let n be (-3)/(-5) - y/(-5). Is 10 smaller than n?
False
Suppose 56355 = 13*n + 1599. Is 4212 less than n?
False
Let z(o) be the first derivative of -7*o**2/2 + 12*o - 30. Let m be z(11). Let f = m - -66. Is -17 bigger than f?
False
Let v(o) = -22*o**3 - o**2 - 3*o - 5. Let a be v(-2). Let u = -23 + a. Which is bigger: u or 149?
u
Let z(o) = o**3 + 3*o**2 + 18*o + 15. Let b be z(-5). Is -179 bigger than b?
False
Suppose -15573 = 9*g + 204. Do -1753 and g have different values?
False
Let h be 11/33*(5/(-1) + 2). Let p = -51 + 104. Let f = h - p. Is f bigger than -53?
False
Let s be 727/5 + -2 + 5*(-24)/300. Is 427/3 at least as big as s?
False
Let l = 3245.9 + -3246. Which is smaller: l or 1744?
l
Let c(b) = -b**3 - 22*b**2 + 24*b + 54. Let q be c(-23). Let i be 65/2 + 2/(-4). Is i at most as big as q?
False
Let c(d) = -73*d + 13. Let z be 98/42 - (-8)/(-6). Let a be c(z). Is -243/4 not equal to a?
True
Suppose -2*c - 29 = -3*c - 5*p, -3*c + 7 = -p. Suppose 4*m = 8*m + c. Which is smaller: 4/105 or m?
m
Let q be (4 - 0)/8 + (-75)/6. Let x be (-30)/q - (-2)/(-4). Suppose 18 = -2*u - 3*m - x*m, -4*u = 4*m + 48. Is -14 < u?
False
Let k be (15/35)/(-2 - 148/(-56)). Let t be 5*2*(-1)/(-2). Let s = 11 - t. Which is bigger: k or s?
s
Let j = -22845 - -1484879/65. Let f = 4/13 + j. Which is bigger: f or 54?
54
Let s = 408 - 106. Let i = 356 - s. Is 0.2 less than i?
True
Let k be 387660/(-7150) - (2 - 60/33). Which is greater: -53 or k?
-53
Let x be (4/6 - (-12)/(-18))*-1. Suppose k = 4*o + 28, x = 3*k + 17*o - 13*o - 20. Which is smaller: k or 13?
k
Let i = 269 + -268.756. Let p = -1.244 + i. Which is greater: -175 or p?
p
Suppose 180 = 166*o + 788 + 720. Is o <= -4/137?
True
Suppose 13*i + 265 + 372 = 0. Let f = i + 85. Let b = -2.7 + 0.7. Is f not equal to b?
True
Suppose 0 = 3*u - 3*k - 324 - 807, 4*u + k - 1518 = 0. Which is smaller: 380 or u?
u
Suppose -4*a + 328 + 184 = 0. Let x = a - 130. Which is smaller: x or -7/5?
x
Let l = -39 + 26. Let g = 17 + l. Suppose 0 = g*i + 26 - 30. Which is bigger: i or -4/25?
i
Let o be (-7653)/1710 + (-6)/(-45). Which is smaller: o or -3?
o
Let t = 102721/105547414 + -12/14329. Which is greater: 1 or t?
1
Let j be ((-3)/((-252)/(-24)))/((-6)/(-14)). Is -5720 != j?
True
Let v be 6/(-57) - 3/(4788/1200). Which is bigger: 1/222 or v?
1/222
Let a = -12470 - -11593. Is a != 0.3?
True
Let o be (2/1750)/(399/(-42) - -10). Is 2/9 bigger than o?
True
Let h = -761 - -764. Suppose -q - 1 + 6 = 0. Suppose -q + 1 = -l. Which is greater: h or l?
l
Let g = -240 - -239.9. Let n be (-622)/(-3)*(-3)/(-35). Let d = -86/5 + n. Are g and d unequal?
True
Let z be (12 - 9)/((-6)/4). Let p = 0.271 - -0.049. Let j = p + -4.32. Is z at most as big as j?
False
Let s = 15143626/1219 - 12423. Which is smaller: s or 0?
s
Suppose 2*x + 7 = l + 7*x, -6 = -l - 4*x. Suppose f = 3*s + 14, 3*s + 15 = l*f - 16. Which is smaller: 50/3 or f?
50/3
Let u = 7.6 + -7. Let o = -1855.6 - -1874. Let g = o - 20.4. Is u != g?
True
Let n = 23416 - 23416.054. Suppose 2 + 0 = x. Is x not equal to n?
True
Let q be (-2)/3*3/(-8). Let s = -82.399 - 0.601. Let o = s - -83.09. Is o >= q?
False
Let s be 33/(-198)*66/11. Are 3877 and s equal?
False
Let v = -2926042/9 + 324516. Let j = v - -188882/315. Let h = 2066/1155 + j. Which is bigger: 2 or h?
2
Let b = -12 - -13. Let x = -82803969/253 - -327288. Let v = 20/23 + x. Is b at least as big as v?
True
Let m be (-3)/1 - (-2 - 0). Let w = 160/2801 - -7187767/42015. Let a = w - 171. Which is smaller: m or a?
m
Suppose 34*v = 5*k +