+ 140. Are -25 and s nonequal?
True
Let f = 2610964326061/109175 - 1315366607/55. Let x = -1408/397 - f. Let m = 348 - x. Which is greater: 0 or m?
0
Let d(t) = t**2 - 11*t + 7. Suppose 8*z = 3*z + 25. Suppose -z*g = 18 - 68. Let j be d(g). Which is smaller: -1 or j?
j
Let w = -1/66 + -148/33. Which is smaller: 0.02 or w?
w
Suppose 2*y + y = -4*j + 5, 0 = -j - 3*y + 8. Is -1/377 at most j?
False
Let z = -210119/170 - -1236. Which is bigger: 1 or z?
1
Suppose 3*u + 9 = -3*k, 0 = -4*k - 0*k - 16. Let p be -2*u*5/10. Which is smaller: p or 2/45?
p
Let w(q) = 4 + 5*q - q**3 - 5*q - 6*q**2 + 2*q + 5*q. Let u be w(-7). Suppose 23 = 4*c + 3, -y + u = c. Which is bigger: y or -8/9?
-8/9
Let x = -334/747 + 2/747. Let b = 39 + -46.1. Let w = b - -7. Which is smaller: w or x?
x
Let j = -31 + 30. Which is smaller: j or 1/393?
j
Suppose -21*y + 2084 = -3334. Do y and 257 have different values?
True
Let m = 40 + -33. Suppose -6*h + 5*h = -m*h. Which is smaller: h or -1/13?
-1/13
Let r be (2 + -2)/(2 + 0). Let t be ((r/(-4))/2)/(-1). Suppose -n = -t*n + 1. Which is greater: n or 2/11?
2/11
Let f(z) = -4*z**3 + 6*z**2 + 8*z + 5. Let s be f(-3). Which is bigger: s or 144?
144
Let j = -15/26 + -5399/286. Let t = 29768/1529 + j. Is t greater than -1?
True
Suppose -3*b - 6 = -9*b. Let i be (4/6)/((-2)/(-3)). Let k be (-2 + 1/i)/(-1). Is k <= b?
True
Let j(f) = f**3 + f + 58. Let t be j(0). Let g = t + -41. Is g > 0?
True
Suppose -5*o + 1 = 4*f + 34, -f = 3*o + 17. Let l be (-2)/10 - f/10. Suppose -2*s - c = -s - 1, l = s + 3*c - 1. Are s and 5 non-equal?
True
Let s be -12 - (-1859)/616*4. Is -2/87 less than or equal to s?
True
Suppose -2*d - 5*g + 0*g - 77 = 0, 25 = 5*g. Are -50 and d non-equal?
True
Suppose 2*m = 6*m - 4. Let u = 359/924 - 14/33. Does u = m?
False
Suppose -642 = 3*i - 2*r, -14*r + 19*r = -15. Which is smaller: i or -2?
i
Suppose -3*d = 15, 0 = 2*t + 2*d + 17 - 1. Let b be -34 - 3 - (-3)/t. Let f = b + 27. Which is greater: -12 or f?
f
Suppose 5*f - 40 = 5*a, 0*a = -f - 3*a + 16. Let g = 21 - f. Let v be 27/(-6)*28/(-12). Is v != g?
True
Let b = 173.29 + -17.29. Is b > 2?
True
Suppose d - 3 = 1. Suppose 83 = d*n - 0*n - u, -5*n + 103 = -2*u. Is 1 equal to n?
False
Let t be 1/(-4) + 38/88. Let y = 20.01 - 22.01. Is t <= y?
False
Let d = 17.32 - 17.306. Is 3/7 less than or equal to d?
False
Let c be 4/22 - (-910)/77. Let p be 8/c + (-5)/3. Which is smaller: 1 or p?
p
Let k be (220/(-70))/22 - 6/7. Are -30/227 and k nonequal?
True
Let x(a) = a**2 + 12*a - 13. Let g be x(-13). Let j be g + 4 - (-5 + 8). Which is bigger: j or -2/31?
j
Let a = 3.7 + -1.1. Let g = 0.6 - a. Let w = 116/39 + -30/13. Which is smaller: w or g?
g
Let w be ((-76)/(-266))/(3/(-7)). Suppose 3*n + 8 = -n. Which is greater: w or n?
w
Let y be (-2)/12 + (-3)/(-18). Which is smaller: 18/41 or y?
y
Let o be -4*((-3)/(-2))/(-3). Suppose o*u = -2*u - 24. Let n = -5 - u. Is 1 greater than n?
False
Let c = -302 - -300. Do -60 and c have the same value?
False
Suppose 0 = 7*p - 74 + 1754. Which is bigger: -238 or p?
-238
Let p = 29 + -29. Suppose -5*k = 4*g - 2, -3*g + g + 4*k + 14 = p. Are g and 3 equal?
True
Let n = 10 - 33. Let j = n - -14. Is j less than or equal to 0.2?
True
Let z = 546 + -21839/40. Suppose -3*r + 4*k - 3*k + 16 = 0, -k - 1 = 0. Suppose 2*x + 10 = u, -25 = 7*u - 3*u + r*x. Which is smaller: z or u?
u
Let k be (-1)/(-14)*(4 + (-520)/128). Does 0 = k?
False
Let j = -133 + 132.972. Let g = 45.972 - j. Which is greater: 1/5 or g?
g
Let q = -0.0959 + -4.9041. Do q and 3/8 have the same value?
False
Let a = 2/69 + 29/1380. Which is smaller: -1 or a?
-1
Let r = 88 - 123. Let y = r - -35. Does 5 = y?
False
Let x be (-12 + 7)*2/(-4535). Let a = x + 3590/17233. Are a and -1 nonequal?
True
Let m = -7379400989/87 - -84821728. Let u = 1580 - 2607. Let g = u + m. Which is bigger: g or 1?
1
Let o be (-49)/7*8/(-14). Suppose 0 = 2*c - 0*u + u, 4 = o*c + 4*u. Let r = -1/55 + -161/220. Which is smaller: c or r?
c
Let k be (7 - -4 - (-17 + 28))/(-1). Let f = -265/33 + 87/11. Are k and f non-equal?
True
Let d be -6*((-1)/(-3) - 0). Let t be (-1 + d)/(65/(-26)). Is 2 less than t?
False
Suppose -h + 5*g = -12, -2*h + 3*g - 4 + 14 = 0. Suppose 0 = 2*k + h*q, -5*k - 18 = -0*q - 4*q. Which is smaller: k or -8/5?
k
Let j be 4/(-14) + -5*(-2)/(-14). Which is smaller: -392 or j?
-392
Let m(t) = t**2 - 6*t - 2. Let a be m(7). Suppose -17 - 3 = -3*k + a*w, 2*k + w + 4 = 0. Let u be 2/5 + (-6)/40. Which is smaller: u or k?
k
Let a(p) = p**3 + 7*p**2 + 5*p - 2. Let z be a(-6). Let h be (28/10)/(z/(-5)). Is h != -4?
True
Suppose b = 5*z - 108, z = 4*b - 6*b + 26. Is 24 greater than z?
True
Let u be (16344/(-180))/(2/(-5)). Is 227 not equal to u?
False
Suppose 359 = -3*y + 1754. Which is bigger: 466 or y?
466
Let k = -66 + 15. Suppose 225 = -5*s + 5*y, 3*s - 2*y + 39 = 2*s. Do s and k have different values?
False
Let i = 10.73 + -9.73. Which is smaller: 974 or i?
i
Suppose 5*i + 26 = 31. Which is smaller: 132 or i?
i
Suppose 2*w + 4*d - 4 = 0, -3*d + 3 = 17*w - 18*w. Is -254 > w?
False
Let q be (37 - -3)/(-4)*5. Let s = -16 - q. Let w = -103/3 + s. Which is smaller: 0 or w?
w
Let b(f) = 2*f - 6. Let h be b(4). Suppose -2*n = -n + 3, 3*n + 7 = -h*z. Let q = -17/15 + 9/5. Which is bigger: q or z?
z
Let s be 473/12 - 10/60. Let l = s - 39. Is l less than 0?
False
Let t = 0.505 - -1.495. Are t and 50 equal?
False
Suppose 6 = 3*t, -t - 11 = -5*b + 2. Suppose 0 = -2*a - o + 49, 0 = -b*a - 3*o + 47 + 22. Are a and 26 equal?
True
Let s = 3573 + -21563/6. Which is bigger: -22 or s?
s
Let s be 635/3*189/252. Which is smaller: 160 or s?
s
Let n = 8.4 - 8.443. Let v = n - -0.023. Which is smaller: 0 or v?
v
Suppose -16*k + 382 = 1070. Which is smaller: k or -345/8?
-345/8
Let m = 1 - 1.5. Let n = m + -0.5. Let l = -0.032 - -0.132. Is n less than l?
True
Let c = 62746 + -185790904/2961. Is c at most 0?
False
Let k = -12067 - -132882/11. Is k at least as big as 14?
False
Let v be 11568/(-3858) - (1 + -4). Which is bigger: -1 or v?
v
Let j be (-153)/6*(-112)/21. Which is smaller: j or 135?
135
Let z(c) = c**2 + 5*c + 20. Let h be z(-7). Is h at most as big as -2/9?
False
Let x be ((192/36)/8)/((-2)/39). Which is greater: 1/2 or x?
1/2
Let p be 1/(-2)*(-19 - (-826)/42). Let q be 2/3 - 2/(-6). Is q smaller than p?
False
Suppose -145 = -5*x - 5*p - 555, 74 = -x - 5*p. Is -84 < x?
False
Let q = 23/725 - 2398553/7975. Let i = -301 - q. Which is bigger: i or 1?
1
Let v be (-2304720)/(-230450) - 10/1. Is v bigger than -1?
True
Suppose 4*w + 4*s = 76, 5*w - s - 13 = 4*w. Let i = w - 12. Suppose 0 = -2*m - 0 + i. Which is bigger: 3 or m?
3
Suppose 4*c = 179 - 183. Is 1 greater than c?
True
Let r be (-5*8/(-100))/(19/133). Is r less than -1/4?
False
Let p be (10/15)/(26/3 + -8). Let i be 2*(0 + 1/139). Is i less than or equal to p?
True
Suppose -2*i - 4*h - 16 = -4*i, -3*i = -3*h - 15. Suppose 7*m - 9*m = i. Which is bigger: m or 2/5?
2/5
Suppose 0 = -6*g + 13*g + 7. Let d be -149*(-1 + 2)/1. Let m = d - -741/5. Is g < m?
True
Let f = 21 - 13. Let l = 15 - f. Let h = -5 + l. Is h < -5?
False
Suppose d - 6*d - 165 = 0. Suppose 7*n + 187 + 51 = 0. Which is greater: d or n?
d
Let y = 5 - 3. Suppose -4 = -z + 3*a, -2*z = y*z + 5*a + 35. Let r be -8 + z/(15/6). Is -9 > r?
True
Let k = 4628 + -180478/39. Is 1 at most as big as k?
False
Suppose 3*d - 9 = 2*n, 5*n + 2*d = -d + 30. Let j = -67/6 - -38/3. Which is bigger: j or n?
n
Let q be (-1)/3 + 10/3. Let x = 3 + q. Suppose 3*u - l + 21 = 41, 0 = -6*u + 4*l + 50. Which is bigger: u or x?
x
Let s = -45.959 - 0.041. Let p = s + 60.4. Let d = -14 + p. Which is greater: -0.2 or d?
d
Let i = 1490 - 4511/3. Which is smaller: i or -15?
-15
Let a be (442/3)/(21/(-63)). Let j be 2 + -1 + a/459. Are j and 1 unequal?
True
Let d be (-5)/(25/3) + 8/30. Let n = 0.1 - 10.1. Which is bigger: d or n?
d
Let v be 112/63 - 2/(-9). Suppose 12 = 4*m, -4*m + 18 = -v*k + 5*k. Let g be 2 + 135/(-20)*k. Which is greater: g or -11?
-11
Let o be (836582/102)/(5770/60). Let t = o - 1450/17. Let r = -5221/4039 - t. Which is smaller: 0 or r?
r
Let o = -3 + 8. Let r(d) = d**2 - 4*d + 1. Let b be r(o). Let x = -8 + b. Is -3 less than x?
True
Suppose 0 = 7*q + 2523 + 4309. Let z = -16607/17 - q. Are -2 and z 