j?
False
Let g = 4/92465 + -1767468559/1941765. Let u = 910 + g. Is 1 smaller than u?
False
Let a = -58 + 61. Let w(u) = u**2 - 2*u + 3. Let n be w(a). Suppose n*b - 47 = -41. Which is smaller: 0.2 or b?
0.2
Let q be 5 + 112/(-20) + 66/10. Suppose -225 = -q*s - 291. Let r = 2 - 12. Is r < s?
False
Let f be 10/4*(-17 - -27 - 552/(-20)). Suppose -730 = -5*v + 2*p - 267, 2*p = 4*v - 370. Is v > f?
False
Let f(k) = -k + 59. Let d be f(5). Suppose 0 = -177*t + 175*t + d. Are t and 25 nonequal?
True
Suppose -9*b = -227 - 205. Suppose 4*p - 3*r + 6*r - 177 = 0, -5*p + 3*r + 255 = 0. Is p not equal to b?
False
Let l = 614 - 2861. Is l greater than or equal to -2247?
True
Let u = 3/44 - -73/220. Suppose -j + 5*g - 16 = 0, 5*j - 1 + 9 = g. Is j at most u?
True
Let q be -3 + (14 - -4) + 1. Suppose -3*p + q = -2*g, 3*g - g = -p - 32. Which is greater: -2/3 or g?
-2/3
Let o be 505/(-630) + -1 + 18/21. Which is bigger: -1 or o?
o
Suppose 0 = -r - 2*r. Let a be -11 + 33 + 14 + -30 - 189/32. Which is bigger: a or r?
a
Suppose -2*i = 7*n - 5*n - 8, 10 = n + 3*i. Let d be 33*n*(-4)/(-18)*-3. Let s be (-3)/6 - (-172)/(-8). Is d <= s?
True
Suppose 5*o - 4*j - 6 = 7*o, 2*j + 16 = -2*o. Let l(h) = -4*h + 8*h - 9*h. Let k be l(3). Which is smaller: k or o?
k
Let v = -130 - -61. Suppose 20*r = 84 + 16. Suppose 6*n - 2*n - r*f + 280 = 0, -4*f = 2*n + 140. Which is smaller: v or n?
n
Let n = 4.73 + -257.73. Let i = -90 - n. Is i less than or equal to 2/3?
False
Let l be -36 + 240/8 - 28/(-5). Which is smaller: l or 0.6399?
l
Let y = 436 - 415.1. Let z = y + -21.9. Which is greater: z or 118?
118
Suppose 3*y - 7*y - 441 = 467. Which is smaller: -4 or y?
y
Let g be (-24 - 3)/9 - 9*2. Let q be g/14*(-10)/(-15). Are q and 2/13 equal?
False
Let z = -46 - -86. Suppose -3*s + 10 - z = 0. Let g be (1*-25)/(6 + s). Which is bigger: 5 or g?
g
Let w = -19349/6228 + -3/692. Suppose -2*g = -5*q - 24, 173*q - 5*g + 29 = 176*q. Which is smaller: q or w?
w
Let i be (-5)/(30/(-9)) - 42825/750. Which is smaller: i or -55?
i
Let l = -40.01 - -40.14. Suppose -2*t + t = -2. Let o be ((-1)/t)/(3/(-6)). Which is greater: l or o?
o
Let j = 187 + -194. Let o be (j - -5)*(-151)/8. Which is bigger: 39 or o?
39
Suppose 2*l = -2*l, 0 = 5*f + 2*l - 140. Let g be (3/81)/(f/24). Is 0 <= g?
True
Let q = 2843.4 - 2844. Do 2 and q have the same value?
False
Suppose -2*h - h = -3. Let y(t) = -2*t**2 - 8*t + 2. Let i be y(-5). Let m be 3 + i - (3 - h). Is m > -6?
False
Let o = -771 + 777. Which is bigger: o or -27?
o
Let v be (-5 - 1463/(-14))/(1/(-6)). Let c be (-3)/(-12) - (4 + v/156). Let b = -5 - -5. Which is bigger: b or c?
c
Suppose 1 = r - 2*r. Suppose -20*c + 17*c + 4*o + 58 = 0, 3*c = 3*o + 60. Is c less than r?
False
Let g be ((-15726)/(-2619))/((-56)/84) - -9. Suppose -5*i - 11 + 31 = 0, -3*i + 12 = -4*p. Which is bigger: g or p?
p
Let c be (1833/(-564))/(91/(-8)). Let z = -28.8 + -5.2. Let k = -33.77 - z. Is k at least c?
False
Let r = 1536 + -944. Let l = 604 - r. Which is smaller: l or 9?
9
Let o(u) = -10*u**3 + u**2 - 21*u + 22. Let w be o(4). Let q be (-126)/w - 6/42. Let f = -99/364 + 2/91. Which is smaller: f or q?
f
Let u be 60/(-360)*9/15*-30 + -4. Let t = 0.017 - -60.983. Which is bigger: u or t?
t
Suppose 0 = -3*w + 5*o - 7, -12 = -4*w + o - 5*o. Let i be -21 - -16 - (w/1 - 1). Which is smaller: -54/11 or i?
i
Let c be (10 - 4 - 8) + (19201/(-9604) - -4). Which is greater: c or 0?
c
Let l = 465424/3945 + 146/263. Is l > 119?
False
Let f = 7.43 + 541.57. Let z = -551.73 + f. Let h = -0.83 - z. Which is greater: h or 1?
h
Let z(a) = a**3 + a**2 + 3. Let v be z(-2). Let b be 192/16 + 0 + v. Let k = -13/2 - b. Is -18 != k?
True
Let u = -402 - -406. Let k be (u*258/(-12))/2. Suppose 220 = -5*f + 2*b, -5*f = 3*b + 4 + 191. Is k at most as big as f?
True
Suppose 25*j - 252 + 2552 = 0. Let m be 792/(-21) + 4/(-14). Let t = j - m. Which is smaller: -53 or t?
t
Let k = 138837/22100840 + -3/14933. Which is greater: 1 or k?
1
Let u be 7/35 - ((-2088)/20)/(-2). Let g = u - 33. Which is bigger: g or -84?
-84
Let l = -315405/29 + 10876. Is l at most as big as 5?
True
Let y = -324.8 - -324.8712. Which is smaller: 0 or y?
0
Suppose 27*q - 1705467 - 1076938 = 172*q. Which is smaller: q or -19188?
q
Let r = -12496/15 + 2498/3. Which is smaller: r or 2/257?
r
Suppose 0 = 15*o + 194 + 931. Suppose 2*c + w = -145, -7*c + w - 2*w - 515 = 0. Is o at least as big as c?
False
Let k = 0.52 - 3.74. Let t = 2.52 + k. Does t = 1/9?
False
Suppose 3*z - 26 + 2 = 0. Suppose 24915 = 4*x - 2*o - 3*o, 12459 = 2*x - 3*o. Let l be -1*2/(-7) - x/(-875). Is z at least as big as l?
True
Let l = 121953641 - 2060406759307/16895. Let a = 2/545 + l. Is 1 > a?
True
Let g = 1086 + -471. Let t = g + -3526/7. Let n = 111 - t. Which is smaller: 3 or n?
n
Let w = -106 + 366. Let f be (-44)/(-165)*(-6)/w. Is f greater than or equal to 0?
False
Let f = 4704 - 3919. Does 787 = f?
False
Let k(b) = 3*b**2 + 37*b - 122. Let f be k(-17). Which is greater: f or 119?
119
Let p = 2625 + -11060. Is p smaller than -8436?
False
Suppose -67*k + 186*k - 238 = 0. Which is smaller: 64/37 or k?
64/37
Let l = 2825 - 2867. Is -130/3 less than l?
True
Suppose -126*t + 4*r = -128*t + 148, t + 3*r - 69 = 0. Is 580/7 <= t?
True
Let u(t) = 47*t - 376. Let p be u(8). Which is smaller: p or 6/389?
p
Suppose -2*w = -3*w + 3. Let h = 109 + -58. Suppose -32 = 43*y - h*y. Is w not equal to y?
True
Let f(h) be the third derivative of h**5/60 - h**4/12 - h**3 + 3*h**2 + 15*h. Let b be f(-2). Is 9/8 at least as big as b?
False
Let w be 2102/14 + ((-10)/6 - 220/660). Which is greater: w or 148?
w
Let p be -2 + -2 + (-27432)/78. Let n = 356 + p. Suppose -r = -5*t + 6, 3*r + 2*r - 5*t + 10 = 0. Which is smaller: n or r?
r
Let i = 0.00519 - 0.18419. Which is smaller: 0.01 or i?
i
Let o be ((-2)/3)/(2/(-1)). Let j = -28241 + 28273. Which is smaller: o or j?
o
Let q = 7272 + -7336. Which is smaller: -49 or q?
q
Let s be (5/(-45))/(((-21)/(-18))/(-7)). Let u = -17.9 - 4.1. Let v = u - -3. Which is smaller: s or v?
v
Let v = 137 + -146. Let w = 1 - v. Do w and 2 have the same value?
False
Let s = -881 + 879. Suppose 2*b + 1734 = -3*y, -2*b + 984 = -5*y - 1922. Let i = -6386/11 - y. Which is smaller: i or s?
s
Suppose 1 = -v + 4. Suppose -4*n - 108 - 32 = 5*h, -v*n = 15. Let p be (-22)/16 + h/256*-4. Is -9 less than p?
True
Suppose -5*l + 35 = -x - 2*x, 0 = 4*l + 4*x + 4. Suppose z + l*z - 4*q = -13, 0 = -3*z + 5*q - 13. Let b = -2304 + 46089/20. Which is greater: z or b?
b
Let r = -0.22 - 1.28. Let x = -10 + r. Let a = x + 63.5. Which is smaller: 1 or a?
1
Let k = -1.8832 + 1.9632. Is k greater than 398?
False
Suppose 9*s + 25*s = 2*s - 1110432. Is -34701 less than or equal to s?
True
Suppose 231*b + 2*a + 74 = 232*b, -5*a = 15. Are b and 614/9 nonequal?
True
Let n be (-20)/(-250) + 47896/(-621200). Is 1 bigger than n?
True
Suppose -13*c + 4*a = -16*c + 10913, 2*a + 7308 = 2*c. Which is greater: 3648 or c?
3648
Let y(m) = m**2 + 9*m - 48. Let k be y(-17). Let v = 151 - k. Which is smaller: 64 or v?
v
Let u = -11308 + 10623. Which is bigger: -688 or u?
u
Let u = 1 - 5. Let t = 0.234846 - 0.024846. Is t smaller than u?
False
Let s be (-2 - 2)*27/(-36). Suppose 24 = -w - 3*w - 5*h, -5 = w + h. Which is smaller: s or w?
w
Let s = 532 + -525. Suppose -12 = s*g + 303. Which is smaller: -6 or g?
g
Let d be -113 - (-3 + 2 - (-3 + 3)). Let g = d - -143. Which is greater: 28 or g?
g
Let k = -97168/5 + 19447. Is 2 bigger than k?
False
Let v be 1/2*(-350)/310. Let c = -2/31 - v. Let m = -0.4 - -0.87. Which is greater: c or m?
c
Let j = 6847 + -6970. Which is bigger: j or -489/4?
-489/4
Let g be 6/(-21)*5*2. Suppose -3*x = -2*j + 38, -8*x = -7*x - 3*j + 15. Let z be ((24/5)/3)/(x/30). Which is greater: z or g?
g
Let x = 31268407/78 - 400877. Let d(k) = k**2 - 5*k - 7. Let f be d(6). Which is smaller: x or f?
f
Let s be (-49)/(-7) + (-46)/6 - (-350)/57. Are -4 and s unequal?
True
Let l be 4*4/1456*118/(-8). Let s = 1/52 + l. Is s at least as big as -1?
True
Let f = -2525 + 2518. Which is smaller: -137 or f?
-137
Let r be 1/(-2)*(3 - -15). Let c be 0 - r/(-8) - -1. Let i = -23145 + 23144. Are i and c unequal?
True
Let n = 29749 + -29744. Is 150 bigger than n?
True
Suppose 55*z + 153 -